: T = .A.B.C のときに、 T { var A: T { get } var B: T { get } var C: T { get } } みたいに常にTのチェーンだけサポートするなら、底からから辿れば良いけど、この件含めそうではないので、 .C -> T を持つ型群を検索、その型群すべてに B がその型を返す型を検索...ってなって、推論が O(全型数^深さ) になっちゃうんじゃないかな。 (edited)