mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
6d0da8d5cc
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
5 lines
254 B
Swift
5 lines
254 B
Swift
// {"signature":"(anonymous namespace)::ApplyClassifier::classifyApply(swift::ApplyExpr*, llvm::DenseSet<swift::Expr const*, llvm::DenseMapInfo<swift::Expr const*, void>>*)"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
let a = switch \0 {
|
|
case 0.0
|