any BPっていう実際の型が暗黙的に生成されてるってこと？

11:03 AM

なるほど

11:04 AM

ほー複雑だけどなんとなく理解

11:04 AM

contra x contra = co

11:06 AM

へーこれどうやって解決してるんだろ

11:06 AM

型推論の時点で確定するの？

11:06 AM

そっか