]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: e05b78d e423dcc)
Auto merge of #48995 - aravind-pg:canonical-query, r=nikomatsakis
authorbors <bors@rust-lang.org>
Fri, 27 Apr 2018 03:53:39 +0000 (03:53 +0000)
committerbors <bors@rust-lang.org>
Fri, 27 Apr 2018 03:53:39 +0000 (03:53 +0000)
commit8a09bc6a77a908b11120cb09e6d2bf0b7a13494e
tree763af9a091d5ef3bb8a718a7410a97eb451583bftree | snapshot
parente05b78daa628ad88952d856c68cb5708434fa934commit | diff
parente423dcc7133f20c8da2609dba96afeeab1efbc5acommit | diff
Auto merge of #48995 - aravind-pg:canonical-query, r=nikomatsakis

Create a canonical trait query for `evaluate_obligation`

This builds on the canonical query machinery introduced in #48411 to introduce a new canonical trait query for `evaluate_obligation` in the trait selector. Also ports most callers of the original `evaluate_obligation` to the new system (except in coherence, which requires support for intercrate mode). Closes #48537.

r? @nikomatsakis
src/librustc/traits/fulfill.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.