Create a canonical trait query for `evaluate_obligation`#48995

Merged

bors merged 8 commits intorust-lang:masterfrom aravind-pg:canonical-query

Apr 27, 2018

+341-109

Commits on Apr 27, 2018

Refactor overflow handling in traits::select to propagate overflow instead of aborting eagerly
aravind-pg
committed
Create a canonical trait query for evaluate_obligation
aravind-pg
committed
Port existing callers of evaluate_obligation to the new canonical trait query
aravind-pg
committed
Simplify trait selector's evaluation API slightly
aravind-pg
committed
Introduce trait query mode and use it to set overflow error handling policy in traits::select
aravind-pg
committed
Remove the stored obligation in OverflowError to simplify things
aravind-pg
committed
Retry canonical trait query in standard mode if overflow occurs
aravind-pg
committed
Update a compile-fail test
aravind-pg
committed