Parametric type check - #47

Merged

KotlinIsland merged 9 commits into

mainfrom

parametric-type-check

Jul 23, 2026

Commits on Jul 23, 2026

feat(parametric-is): structural protocol checks via reified annotations
KotlinIsland
committed
08f1004
feat(checked-cast): structural protocol checks for cast/cast?
KotlinIsland
committed
9737f6f
feat(parametric-is): structural checks for protocol method members
KotlinIsland
committed
5947a67
refactor(cast): share the parametric engine with `is`
KotlinIsland
committed
4fa89d5
fix(parametric-is): check literal type arguments
KotlinIsland
committed
684d364
docs(erased-cast-argument): note the reified-cell case
KotlinIsland
committed
808e22a
fix(parametric-is): resolve a subclass's arguments down its base chain
KotlinIsland
committed
1cb7601
fixup! feat(typeshed): mark overriding methods with the `override` modifier
KotlinIsland
committed
453a1bb
fix(test): probe for the interpreter features the program actually uses
KotlinIsland
committed
dd039ea