mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
e14fa7291f
Instead of failing constraint generation by returning `nullptr` for an `ErrorExpr` or returning a null type when a type fails to be resolved, return a fresh type variable. This allows the constraint solver to continue further and produce more meaningful diagnostics. Most importantly, it allows us to produce a solution where previously constraint generation for a syntactic element had failed, which is required to type check multi-statement closures in result builders inside the constraint system.
43 lines
2.0 KiB
Swift
43 lines
2.0 KiB
Swift
// RUN: %target-typecheck-verify-swift
|
|
|
|
func foo(_ x: Int) -> Int {}
|
|
func foo(_ x: Float) -> Float {}
|
|
func foo<T>(_ t: T) -> T {}
|
|
|
|
var v = foo(<#T##x: Float##Float#>) // expected-error {{editor placeholder}}
|
|
v = "" // expected-error {{cannot assign value of type 'String' to type 'Float'}}
|
|
|
|
if (true) {
|
|
<#code#> // expected-error {{editor placeholder}}
|
|
}
|
|
|
|
foo(<#T##x: Undeclared##Undeclared#>) // expected-error {{editor placeholder}} expected-error {{cannot find type 'Undeclared' in scope}}
|
|
|
|
func f(_ n: Int) {}
|
|
let a1 = <#T#> // expected-error{{editor placeholder in source file}}
|
|
f(a1) // expected-error{{cannot convert value of type '()' to expected argument type 'Int'}}
|
|
let a2 = <#T##Int#> // expected-error{{editor placeholder in source file}}
|
|
f(a2)
|
|
<#T#> // expected-error{{editor placeholder in source file}}
|
|
|
|
// FIXME: <rdar://problem/22432828> Lexer yields "editor placeholder in source file" error twice when placeholder is first token
|
|
_ = <#T##Int#> // expected-error {{editor placeholder in source file}}
|
|
|
|
f(<#T#> + 1) // expected-error{{editor placeholder in source file}}
|
|
f(<#T##Int#>) // expected-error{{editor placeholder in source file}}
|
|
f(<#T##String#>) // expected-error{{editor placeholder in source file}} expected-error{{cannot convert value of type 'String' to expected argument type 'Int'}}
|
|
|
|
for x in <#T#> { // expected-error{{editor placeholder in source file}} expected-error{{for-in loop requires '()' to conform to 'Sequence'}}
|
|
|
|
}
|
|
|
|
// rdar://problem/49712598 - crash while trying to rank solutions with different kinds of overloads
|
|
func test_ambiguity_with_placeholders(pairs: [(rank: Int, count: Int)]) -> Bool {
|
|
return pairs[<#^ARG^#>].count == 2
|
|
// expected-error@-1 {{editor placeholder in source file}}
|
|
// expected-error@-2 {{ambiguous use of 'subscript(_:)'}}
|
|
}
|
|
|
|
let unboundInPlaceholder1: Array<Never> = <#T##Array#> // expected-error{{editor placeholder in source file}}
|
|
let unboundInPlaceholder2: Array<Never> = foo(<#T##t: Array##Array<Never>#>) // expected-error{{editor placeholder in source file}}
|