Code

cleanup canonical queries#131748

Code

Merged

bors merged 6 commits intorust-lang:masterrust-lang/rust:masterfrom lcnr:typing-modelcnr/rust:typing-modeCopy head branch name to clipboardOct 17, 2024

+225-261

Commits

Commits on Oct 17, 2024

• ImpliedOutlivesBounds to rustc_middle

  lcnr

  committed
  401f9b4

  Copy full SHA for 401f9b4

• remove type_op constructors

  lcnr

  committed
  9334d85

  Copy full SHA for 9334d85

• DropckOutlives to rustc_middle

  lcnr

  committed
  f3ce557

  Copy full SHA for f3ce557

• remove Canonical::unchecked_rebind, it's unused

  lcnr

  committed
  5834ba1

  Copy full SHA for 5834ba1

• move defining_opaque_types out of Canonical

  lcnr

  committed
  3360c17

  Copy full SHA for 3360c17

• bless mir-opt tests

  lcnr

  committed
  6cf4cb8

  Copy full SHA for 6cf4cb8