@swift-main -frontend -typecheck -enable-experimental-diagnostic-formatting extension (Int, Int) {}