Code

Uplift more query stuff#125230

Code

Merged

bors merged 5 commits intorust-lang:masterrust-lang/rust:masterfrom compiler-errors:uplift-query-stuffcompiler-errors/rust:uplift-query-stuffCopy head branch name to clipboardMay 19, 2024

+886-681

Commits

Commits on May 18, 2024

• Uplift GenericArgKind, CanonicalVarValues, QueryInput

  Show description for 05e0f87
  compiler-errors

  committed
  05e0f87

  Copy full SHA for 05e0f87

• Uplift inspect into rustc_type_ir

  compiler-errors

  committed
  0f528a4

  Copy full SHA for 0f528a4

• Make proof tree building generic

  compiler-errors

  committed
  6ee22e1

  Copy full SHA for 6ee22e1

• Stop using def_kind() in solver

  compiler-errors

  committed
  2ed1bdb

  Copy full SHA for 2ed1bdb

• Move NormalizesTo back down

  Show description for 8e1dba4
  compiler-errors

  committed
  8e1dba4

  Copy full SHA for 8e1dba4