Location

https://docs.swift.org/swift-book/documentation/the-swift-programming-language/summaryofthegrammar

Description

As far as I can tell, the syntax for suppression of protocol conformance is missing:

struct FileDescriptor: ~Copyable {
    let rawValue: Int
}

The use of the ~ suppression is not defined by the grammar.

Correction

It should mention the grammar to match what's declared valid syntax at https://docs.swift.org/swift-book/documentation/the-swift-programming-language/protocols/#Implicit-Conformance-to-a-Protocol

I couldn't find the proposal for this syntax.

rdar://160794592