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
6 lines
316 B
Swift
6 lines
316 B
Swift
// {"signature":"swift::ProtocolConformanceRef::forAbstract(swift::Type, swift::ProtocolDecl*)"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
@resultBuilder struct a {
|
|
static buildBlock<b, c, d, e>(b, c, d, e) func f<h>(_ : Bool @a Bool->h) { f(true {
|
|
cond in var g : Int g 2 30\ g
|