tarunon

any Tにsome Uを生やせるのがそもそもマズいのでは？と思った

これ5.5以前はできなかったんじゃないかな・・・？

8:31 AM

5.6？5.7から、existentialの制限が無くなって

8:31 AM

例えばassociatedtypeがあってもany Pが作れるようになった (edited)

8:32 AM

で、いろんな問題があるんだけど、それは any P を openして <T: P> に対して呼び出す瞬間までは問題なくて、 any Pを触った人のところに戻すところでeraseすることで問題を解決？している

8:32 AM

なので P に生えてるものは全部 any P に生えてる扱いなんですよ