mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
6257828593
Turns out we can also get solver-allocated original ErrorTypes through type resolution. Given the original type is only used for printing/debugging, let's just fold away any type variables and placeholders into UnresolvedType (which print as placeholders). This matches what `Solution::simplifyType` does.
4 lines
125 B
Swift
4 lines
125 B
Swift
// {"signature":"swift::ErrorType::get(swift::Type)"}
|
|
// RUN: not %target-swift-frontend -typecheck %s
|
|
@convention(c) _->Int
|