@swift-main -frontend -typecheck -enable-educational-notes -diagnostic-documentation-path /usr/share/doc/swift/diagnostics protocol P { associatedtype T } func f(p: P) {}