Check hidden types for well formedness at the definition site instead of only at the opaque type itself#96736

Merged

bors merged 1 commit intorust-lang:masterfrom

oli-obk:tait_missing_wf_check

May 10, 2022

Commits on May 10, 2022

Check hidden types for well formedness at the definition site instead of only at the opaque type itself
oli-obk
committed