<div dir="ltr"><div class="markdown-here-wrapper" style=""><p style="margin:0px 0px 1.2em!important">I guess, now is the time? The response on this has been positive, both for the new metatype syntax and separation of static and dynamic metatypes.</p>
<p style="margin:0px 0px 1.2em!important">I’ve got one more feature in mind since then—a shorthand of <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline">AnyType</code> ≡ <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px;display:inline">AnyType&lt;Any&gt;</code>.<br>Would this addition be worth extra syntax? Is it feasible from current generics point of view? Anyway, it can be done in a separate proposal.</p>
<div title="MDH:SSBndWVzcywgbm93IGlzIHRoZSB0aW1lPyBUaGUgcmVzcG9uc2Ugb24gdGhpcyBoYXMgYmVlbiBw
b3NpdGl2ZSwgYm90aCBmb3IgdGhlIG5ldyBtZXRhdHlwZSBzeW50YXggYW5kIHNlcGFyYXRpb24g
b2Ygc3RhdGljIGFuZCBkeW5hbWljIG1ldGF0eXBlcy48ZGl2Pjxicj48ZGl2PkkndmUgZ290IG9u
ZSBtb3JlIGZlYXR1cmUgaW4gbWluZCBzaW5jZSB0aGVuLS1hIHNob3J0aGFuZCBvZiBgQW55VHlw
ZWAg4omhIGBBbnlUeXBlJmx0O0FueSZndDtgLjwvZGl2PjxkaXY+V291bGQgdGhpcyBhZGRpdGlv
biBiZSB3b3J0aCBleHRyYSBzeW50YXg/IElzIGl0IGZlYXNpYmxlIGZyb20gY3VycmVudCBnZW5l
cmljcyBwb2ludCBvZiB2aWV3PyBBbnl3YXksIGl0IGNhbiBiZSBkb25lIGluIGEgc2VwYXJhdGUg
cHJvcG9zYWwuPC9kaXY+PC9kaXY+" style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0em;padding:0;margin:0">​</div></div></div>