Fix `Type` assignability assertions to evaluate represented type (not `RuntimeType`) - #6711

Merged

thomhurst merged 8 commits into

mainfrom

copilot/fix-type-checking-issue

Sep 3, 2026

Commits on Sep 3, 2026

Initial plan
Copilot
authored
11525b4
Fix Type assignability assertions for Type values

Copilot
and
thomhurst
authored
38b97aa
fix(assertions): preserve represented Type
thomhurst
committed
2ae67b7
fix(assertions): keep generic type semantics
thomhurst
committed
8e58dc6
fix(assertions): align Type assignability
thomhurst
committed
1e7bda7
fix(assertions): preserve generic return value
thomhurst
committed
ddf953c
fix(assertions): scope represented type checks
thomhurst
committed
c8eebf7
fix(assertions): prioritize Type overload
thomhurst
committed
8f653af