New typec - #7

Open

johnno1962 wants to merge 14 commits into

mainfrom

Commits on May 17, 2026

Expected behaviour.
johnno1962
committed
5a659f4
Codex steps out.
johnno1962
committed
9a4883e
Claude moves forward.
johnno1962
committed
e8f6cf7

Commits on May 18, 2026

Claude scores.
johnno1962
committed
4c2c781
Revert regression trying to sub-type generics.
johnno1962
committed
b477bc1
Fix generic subtypealias extension self/conformance resolution

Copilot
and
johnno1962
authored
94507b6
Gate subtypealias underlying delegation to generic nominals

Copilot
and
johnno1962
authored
34c9507
Extract shared subtypealias generic nominal helper

Copilot
and
johnno1962
authored
0bfc81b
So nearly there.
johnno1962
committed
40146df
Revert "Extract shared subtypealias generic nominal helper"
johnno1962
committed
24ef9b0
Codex steps back in.
johnno1962
committed
6af3d9c
Codex cleans up.
johnno1962
committed
54c787d
Response to review.
johnno1962
committed
dc71ccf

Commits on May 19, 2026

Toolchain issues.
johnno1962
committed
a922077