Avatar
ちょっとまだ考えきれてないんですが、自動Generics化で、推論周りで破綻しないかな、破綻がなければ大丈夫
2:00 AM
Protocol?でnilが推論不可能なのも、AnyProtocol?.noneということにすればよくて
2:00 AM
型パラが必要で推論できない場合も、代表的な具体型を差し込めば良さそうだ