Which reflection-based frameworks bypass compile-time type checks for Scala 3 opaque type aliases?
Scala 3 opaque type aliases are designed to enforce compile-time type abstraction by erasing to their underlying representation. However, the degree to which reflection-driven frameworks can inspect or reconstruct these types outside their defining scope remains an open design question. This goal focuses on mapping the boundary conditions where the intended