mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
Diagnostics can outlive the ConstraintSystem itself if we have a diagnostic transaction for e.g `typeCheckParameterDefault`, make sure we don't try to use a solver-allocated type as an argument.
5 lines
170 B
Swift
5 lines
170 B
Swift
// {"signature":"swift::TypeBase::computeCanonicalType()"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
func a (Int -> Int = { $0 func b( () = {}? ) func b {
|
|
/ 1
|