This might be a silly question, but would the proposal to abolish Implicitly Unwrapped Optionals (https://github.com/apple/swift-evolution/blob/master/proposals/0054-abolish-iuo.md) cause IUOs to get removed when compiling a swift 4 target that depends on swift 3? Or did IUOs possibly also get removed in v3.4 as the proposal suggests, although I can't seem to find anything that supports or negates this.
For example, say we have an app target that compiles with swift v4 that depends on a target A which compiles with swift 3, the following code fails to compile inside Target A containing:
if !swift(>=4.1.50)
extension ImplicitlyUnwrappedOptional {
...
}
#endif
The compiler throws "ImplicitlyUnwrappedOptional has been renamed to Optional", even though the target Swift Language Version is v3 where IUOs supposedly still are acceptable.