@swift-5.5.3 @swift-5.10 -frontend -dump-ast -debug-constraints func f(_ a: Int?) {} func f(_ a: Any) {} f(3) (edited)