Skip to content

Fix the soundness bug in the representation of extern types#5021

Draft
tgross35 wants to merge 3 commits intorust-lang:mainfrom
tgross35:extern-types
Draft

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

Commits

Commits on Mar 16, 2026