ちょっとまだ考えきれてないんですが、自動Generics化で、推論周りで破綻しないかな、破綻がなければ大丈夫

2:00 AM

Protocol?でnilが推論不可能なのも、AnyProtocol?.noneということにすればよくて

2:00 AM

型パラが必要で推論できない場合も、代表的な具体型を差し込めば良さそうだ