@swift-main -frontend -typecheck -debug-constraints func f(){} f()