Complete checking with an incorrectly-annotated init conformance?

[mattie]

@wadetregaskis

Note that the compiler is still going to warn you that the isolated init cannot satisfy the protocol's requirements (although in Swift 5.9.2, at least, it still does - this will surely break in Swift 6… though oddly, in 5.9.2 with 'complete' concurrency checking it still does not).

I had to edit the original post because I over-simplified the problem. Sorry about that!

However, I'm not certain it's even worthwhile checking these kinds of things with anything less than a 5.10 compiler. In fact, I thought had a solution to this problem with 5.9.2, but 5.10 made it harder!