Some generics type inference questions

[anthonylatsis]

[RFC] Associated type inference

Hello Swift community, Associated type inference, which is the process by which the Swift compiler attempts to infer typealiases to satisfy associated-type requirements based on other requirements, has caused both implementation problems and user confusion for a long time. Some of you might remember a previous (failed) attempt to remove this feature from the Swift language, in SE-0108 “Remove associated type inference”. <https://github.com/apple/swift-evolution/blob/master/proposals/0108-remove…

Looks like it was rejected previously, but eventually limited to a single conformance