Code

Reveal opaques in new solver#113335

Code

Merged

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

compiler-errors:reveal-opaques-in-new-solvercompiler-errors/rust:reveal-opaques-in-new-solverCopy head branch name to clipboard

Jul 8, 2023

Commits

Commits on Jul 7, 2023

• Remove an AFIT test that isn't an AFIT test

  compiler-errors

  committed
  010ee7b

  Copy full SHA for 010ee7b

• Mark more hanging new-solver tests

  compiler-errors

  committed
  713f9bb

  Copy full SHA for 713f9bb

• Normalize opaques during codegen in new solver

  compiler-errors

  committed
  f55b046

  Copy full SHA for f55b046