@swift-5.2.5 -frontend -typecheck -debug-constraints func f(a: Int, b: String, x: String, y: String) {} func f(a: Int, b: Int, c: Int, d: Int) {} f(a: 0, b: 0, x: 0, y: 0)