// {"kind":"typecheck","signature":"formatDiagnosticArgument(llvm::StringRef, llvm::StringRef, llvm::ArrayRef<swift::DiagnosticArgument>, unsigned int, swift::DiagnosticFormatOptions, llvm::raw_ostream&)","signatureAssert":"Assertion failed: (Ptr && \"Cannot dereference a null Type!\"), function operator->","signatureNext":"DiagnosticEngine::formatDiagnosticText"}
// RUN: not %target-swift-frontend -typecheck %s
@propertyWrapper struct a func b(@a Int) b($c:d
