Code

stop taking references in Relate#73705

Code

Merged

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom lcnr:skip_binderlcnr/rust:skip_binderCopy head branch name to clipboardJul 1, 2020

+242-303

Commits

Commits on Jun 30, 2020

• stop taking references in Relate

  lcnr

  committed
  1d7ba5f

• change skip_binder to use T by value

  lcnr

  committed
  71b45b9

• remove unused TypeError::ProjectionBoundsLength

  lcnr

  committed
  f632bd1

• update equal_up_to_regions

  lcnr

  committed
  69e4990