extensionで書ききれない制約を、initのタイミングで縛ってごまかす

そもそも今回のやつは、型としての制約の表現能力が上がる話ではないので

3:01 AM

元からextensionで書けないものはこの変更が入っても書けないはず。

3:02 AM

単に今までextensionで書けたものが本体でも書けるように記法が増えるというもの。

3:02 AM

(ただ記法が増えてるだけじゃなくてABIは増える)