mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
cc66fc886f
Escaping solver-allocated types into a nested allocation arena is problematic since we can e.g lazily compute the `ContextSubMap` for a `NominalOrBoundGenericNominalType`, which is then destroyed when we exit the nested arena. Ensure we don't pass any types with type variables or placeholders to `typesSatisfyConstraint`. rdar://152763265
4 lines
215 B
Swift
4 lines
215 B
Swift
// {"signature":"swift::ProtocolConformanceRef::forEachMissingConformance(llvm::function_ref<bool (swift::BuiltinProtocolConformance*)>) const"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
.a == .! == b / c
|