[WIP] Move `Self: Trait` predicate to trait items instead of the trait itself - #50183

Closed

tmandry wants to merge 11 commits into

rust-lang:masterfrom

tmandry:move-self-trait-predicate-to-items

Commits on Apr 27, 2018

WIP: Remove Self:Trait from predicates_of
tmandry
committed
b914418
Filter out trait predicate in compare_predicate_entailment
tmandry
committed
75884d4
Fix panic, tidy error
tmandry
committed
32a0a76
Remove slice hack from lowering module
tmandry
committed
defc7e9
Update chalkify test
tmandry
committed
f52d4de

Commits on Apr 30, 2018

ty::wf: Add `Self: Trait` predicate back in
tmandry
committed
edeb9c4

Commits on May 1, 2018

compare_impl_method: Make trait predicate filter specific to Self
tmandry
committed
0faf7fb

Commits on May 2, 2018

compute_trait_ref: Restore original order of predicates
tmandry
committed
9374cd2
compute_trait_ref: Optimize Self:Trait predicate
tmandry
committed
4a98f86
Clean up `Self: Trait` predicate code
tmandry
committed
1d888a4

Commits on Jun 4, 2018

Fix DefId handling in ty::is_trait
tmandry
committed
671ede2