Repository navigation

[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

Closed

[WIP] Move `Self: Trait` predicate to trait items instead of the trait itself#50183
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