Remove a HACK by instead inferring opaque types during expected/formal type checking#123864

Merged

bors merged 2 commits intorust-lang:masterfrom

oli-obk:define_opaque_types3

Apr 15, 2024

Commits on Apr 12, 2024

Avoid an intermediate Option and just create the resulting enum directly
oli-obk
committed
Remove a HACK by instead inferring opaque types during expected/formal type checking
oli-obk
committed