swift

7d7c726e - [Typed throws] Teach associated type inference to infer from thrown errors

[Typed throws] Teach associated type inference to infer from thrown errors When comparing a requirement that uses typed throws and uses an associated type for the thrown error type against a potential witness, infer the associated type from the thrown error of the witness---whether explicitly specified, untyped throws (`any Error`), or non-throwing (`Never`).