Code

Intern predicates#72055

Code

Merged

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

lcnr:predicate-kindlcnr/rust:predicate-kindCopy head branch name to clipboard

May 22, 2020

Commits

Commits on May 20, 2020

• rename `Predicate` to `PredicateKind`, introduce alias

  lcnr

  committed
  cad8fe9

  Copy full SHA for cad8fe9

• make `to_predicate` take a `tcx` argument

  

  nikomatsakis

  authored and

  lcnr

  committed
  034c25f

  Copy full SHA for 034c25f

• introduce newtype'd `Predicate<'tcx>`

  lcnr

  committed
  f316479

  Copy full SHA for f316479

• intern `PredicateKind`

  lcnr

  committed
  57746f9

  Copy full SHA for 57746f9

• change `Predicate::kind` to return a reference

  lcnr

  committed
  6544d7b

  Copy full SHA for 6544d7b

• ptr eq for `Predicate`

  lcnr

  committed
  3dd830b

  Copy full SHA for 3dd830b