( もう解決してそうですが、型推論の挙動自体はswift -frontend -typecheck -debug-constraints ファイル名.swift で見れます )