Normalize lazy type aliases when probing for ADTs#113755
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 17, 2023
Merged
Normalize lazy type aliases when probing for ADTs#113755bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom