Skip to content

don't succeed evaluate_obligation query if new opaque types were registered#98614

Merged
bors merged 6 commits intorust-lang:masterfrom
oli-obk:take_unsound_opaque_types
Jul 8, 2022