Files
swift-mirror/validation-test/compiler_crashers_2_fixed/1cafc0c1955e56b5.swift
Slava Pestov ee440f3c91 AST: Remove MakeAbstractConformanceForGenericType
While the intent behind this functor was noble, it has grown in complexity
considerably over the years, and it seems to be nothing but a source of
crashes in practice. I don't want to deal with it anymore, so I've decided
to just subsume all usages with LookUpConformanceInModule instead.
2025-07-15 16:34:11 -04:00

13 lines
382 B
Swift

// {"kind":"typecheck","signature":"swift::MakeAbstractConformanceForGenericType::operator()(swift::InFlightSubstitution&, swift::Type, swift::ProtocolDecl*) const"}
// RUN: not %target-swift-frontend -typecheck %s
protocol A {}
struct C<T: A> {}
protocol E {
associatedtype F
func g<T>(_: C<T>) where F == T
}
struct H: E {
typealias F = ()
func g<T>(_: C<T>) {}
}