Initial draft of static extension methods design document#303

Merged

lrhn merged 17 commits intomasterfrom lrhn-sem-spec

Jun 18, 2019

+612

Commits on Apr 8, 2019

Initial draft of static extension methods design document
lrhn
authored

Commits on Apr 24, 2019

Address comments
lrhn
authored

Commits on Apr 29, 2019

Fix typo
lrhn
authored

Commits on May 20, 2019

Commits on May 24, 2019

Simplified the semantics inside extension methods (no special casing, acts like a normal method where this has the on type as static type)
lrhn
authored

Commits on May 28, 2019

Address more comments. Add variant where we use type aliases for renaming to overcome scoping issues.
lrhn
authored

Commits on Jun 3, 2019

Fix example to not use unnecessary Box type
lrhn
authored

Commits on Jun 6, 2019

Update section on extends variant.
lrhn
authored

Commits on Jun 13, 2019

Mention call methods. Elaborate on instantiated tear-offs.
lrhn
authored

Commits on Jun 17, 2019

Commits on Jun 18, 2019

State decision for call extension method behavior.
lrhn
authored