Preserve substs in opaques recorded in typeck results#111980

Merged

bors merged 3 commits intorust-lang:masterfrom

compiler-errors:unmapped-substs

Jun 1, 2023

Commits on May 26, 2023

Use DefiningAnchor::Bind in infer_opaque_definition_from_instantiation
compiler-errors
committed
Wait until type_of to remap HIR opaques back to their defn params
compiler-errors
committed

Commits on May 31, 2023

Check that RPITs are compatible with the opaques inferred during HIR typeck too
compiler-errors
committed