Proposal: Non-boxing default-interface methods - #9971

Open

agocke with Copilot wants to merge 10 commits into

mainfrom

copilot/propose-new-syntax-lowering

Commits on Jan 30, 2026

Initial plan
Copilot
committed
90ac0d9
Add proposal for non-boxing default-interface methods

Copilot
and
agocke
committed
7d22b0a
Update proposal: treat static this as instance method, not generate extensions

Copilot
and
agocke
committed
eb17ad3
Use ICounter definition in Syntax section for consistency

Copilot
and
agocke
committed
402dd79
Replace all IFace examples with ICounter throughout the file

Copilot
and
agocke
committed
ea54517

Commits on Jan 31, 2026

Simplify syntax: use just `this` modifier with implicit receiver

Copilot
and
agocke
committed
b0ec6e8
Clarify receiver semantics: all receivers passed by ref, class handling

Copilot
and
agocke
committed
b7ff24d
Use method-level type parameter for receiver instead of interface-level

Copilot
and
agocke
committed
76ad9e2
Revert to simple `this` modifier, method-level type param in lowering only

Copilot
and
agocke
committed
5438aef
Clarify: receiver is anonymous type parameter, by-ref

Copilot
and
agocke
committed
5dfd6d8