Code

Move self trait predicate to items#51895

Code

Merged

bors merged 5 commits intorust-lang:masterrust-lang/rust:masterfrom

nikomatsakis:move-self-trait-predicate-to-itemsnikomatsakis/rust:move-self-trait-predicate-to-itemsCopy head branch name to clipboard

Jul 4, 2018

Commits

Commits on Jul 2, 2018

• prove defaults meet WF requirements, not that they are WF

  Show description for 5c15163
  

  nikomatsakis

  and

  tmandry

  committed
  5c15163

  Copy full SHA for 5c15163

• use `ty::TraitRef::identity` where possible

  Show description for c9d4f06
  

  nikomatsakis

  and

  tmandry

  committed
  c9d4f06

  Copy full SHA for c9d4f06

• drive-by nits and debug

  Show description for 7bbbed9
  

  nikomatsakis

  and

  tmandry

  committed
  7bbbed9

  Copy full SHA for 7bbbed9

• add `is_trait(DefId)` helper to `TyCtxt`

  Show description for 3270930
  

  nikomatsakis

  and

  tmandry

  committed
  3270930

  Copy full SHA for 3270930

• introduce `predicates_defined_on` for traits

  Show description for 90ea49b
  

  nikomatsakis

  and

  tmandry

  committed
  90ea49b

  Copy full SHA for 90ea49b