Conflicting info about when to write override and required

[tadbyt]

Location

https://docs.swift.org/swift-book/documentation/the-swift-programming-language/initialization#Required-Initializers

https://docs.swift.org/swift-book/documentation/the-swift-programming-language/protocols#Class-Implementations-of-Protocol-Initializer-Requirements

Description

In the Required Initializers subsection, the second sentence of the second paragraph reads:

You don’t write the override modifier when overriding a required designated initializer:

In the Class Implementations of Protocol Initializer Requirements, the fourth paragraph reads:

If a subclass overrides a designated initializer from a superclass, and also implements a matching initializer requirement from a protocol, mark the initializer implementation with both the required and override modifiers:

[amartini51]

We'll need to either find a way to test the compiler's behavior or find someone who can say, with authority, which one is correct. Normally, I'd look at who reviewed similar content recently, but the above text looks like it comes from the original Swift 1 version of TSPL in 2014, from commits 470f85e and 581ff9f.