Fully support type hierarchy in domain types - #1944

Merged

alexheifetz merged 1 commit into

mainfrom

fix/dynamic-type-transitive-assignability

Aug 18, 2026

Commits on Aug 17, 2026

Let a declared type hierarchy confer subtyping, as the JVM half already does

johnsonr
and
claude
committed
70d1fd6