シンプルにこれ使うようになってればよさそうなもんですけどね〜、そうなってないのはなんか理由があったのかな https://github.com/apple/swift/blob/0ae61f65c90ccaf5419645edc773cc98e100af02/lib/Sema/TypeCheckConstraints.cpp#L2766-L2770

apple/swift

swift - The Swift Programming Language