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
173 B
Swift
4 lines
173 B
Swift
// {"signature":"swift::GenericParamKey::findIndexIn(llvm::ArrayRef<swift::GenericTypeParamType*>) const"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
a[[[[ a a?[[a a?
|