Backport "Fixes for isLegalPrefix change" to 3.3 LTS#181

Merged

tgodzik merged 5 commits intolts-3.3from

backport-lts-3.3-22241

Mar 18, 2025

Commits on Mar 14, 2025

Fix ASF call in ResolveSuper

dwijnand
authored and
tgodzik
committed
Teach AvoidMap to strip opaque alias refinements

dwijnand
authored and
tgodzik
committed
Re-skolem type prefixes post-unpickling

dwijnand
authored and
tgodzik
committed
Refactor OpaqueProxy (de)construction

dwijnand
authored and
tgodzik
committed
Refactor OpaqueProxy (de)construction
tgodzik
committed