@swift-main -frontend -typecheck -debug-constraints func f(aa: Int, bb: Int) {} f(aa: 1, aa: 2) (edited)