Classes

Tests for DNF (Disjunctive Normal Form) type support: int|(Foo&Bar) Also covers pure intersection types, roundtrip serialization, and edge cases.

Boundary tests for stub-source name resolution (imports + current namespace).

Boundary tests for the structural type-string grammar.