// {"kind":"typecheck","signature":"swift::Parser::parseAbstractFunctionBody(swift::AbstractFunctionDecl*, swift::optionset::OptionSet)","signatureAssert":"Assertion failed: (!Flags.contains(PD_StubOnly) && \"stub-only should parse body immediately\"), function parseAbstractFunctionBody"} // RUN: not --crash %target-swift-frontend -typecheck %s @abi(func a {