Try to derive a type witness in a known conformance before attempting associated type inference#32578

Merged

slavapestov merged 3 commits intoswiftlang:masterfrom

slavapestov:derive-type-witness-before-inference

Jun 27, 2020

Commits on Jun 26, 2020

AutoDiff: Don't synthesize TangentVector typealias alongside the TangentVector struct
slavapestov
committed
Sema: Remove allowDerived parameter of computeAbstractTypeWitness(), which was always true
slavapestov
committed
Sema: Try to derive type witnesses before running inference
slavapestov
committed