mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +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
7 lines
295 B
Swift
7 lines
295 B
Swift
// {"signature":"bool llvm::function_ref<bool (swift::ProtocolConformanceRef)>::callback_fn<(anonymous namespace)::MismatchedIsolatedConformances>(long, swift::ProtocolConformanceRef)"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
func a {
|
|
{ print("\(\ " ")\n"
|
|
}
|
|
"\()\n"
|