// {"kind":"typecheck","signature":"swift::TypeBase::computeInvertibleConformances()","signatureAssert":"Assertion failed: (!canType->hasUnboundGenericType()), function computeInvertibleConformances","signatureNext":"TypeBase::isNoncopyable"}
// RUN: not %target-swift-frontend -typecheck %s
typealias a = FlattenCollection...
