tarunon

それは別にコンパイルエラー無くても新記法さえ存在すれば実現できますよね (edited)

それだけなら extension any P: P {} という記法だけ導入する手があるね。(このanyは Pではなくextensionにかかっている) (edited)