Skip to content
Back to pull request #5021

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

Sign in to view logs

Fix the soundness bug in the representation of extern types

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

Ensure docs build

Ensure docs build
succeeded Mar 16, 2026 in 19s