Fix the soundness bug in the representation of extern types#5021
Draft
tgross35 wants to merge 3 commits intorust-lang:mainfrom
Draft
Fix the soundness bug in the representation of extern types#5021tgross35 wants to merge 3 commits intorust-lang:mainfrom
tgross35 wants to merge 3 commits intorust-lang:mainfrom