averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #84699 from hamishknight/meta-error

Browse Source 
[CS] Improve diagnostics for non-metatype `type(of:)` contextual type
This commit is contained in:
Hamish Knight
2025-10-07 02:49:10 +01:00
committed by GitHub
parent d3214de950 d65f28984a
commit 9883477c02
7 changed files with 116 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
test/Constraints/type_of.swift
View File

@@ -87,3 +87,30 @@ do {
}
}
}
_ = { x in // expected-error {{cannot infer type of closure parameter 'x' without a type annotation}}
let _: Undefined = Swift.type(of: x)
// expected-error@-1 {{cannot find type 'Undefined' in scope}}
}
_ = {
func foo<T>() -> T {}
let _: Undefined = Swift.type(of: foo())
// expected-error@-1 {{cannot find type 'Undefined' in scope}}
}
_ = {
let _: Undefined = Swift.type(of: .foo)
// expected-error@-1 {{cannot find type 'Undefined' in scope}}
}
let _: Int = Swift.type(of: .foo)
// expected-error@-1 {{cannot convert 'type(of:)' metatype to non-metatype 'Int'}}
let _ = Swift.type(of: .foo)
// expected-error@-1 {{cannot infer contextual base in reference to member 'foo'}}
// FIXME: Ideally we'd include the type of the argument in the diagnostic, currently
// we bind it to a hole before we open the closure.
let _: Int = Swift.type(of: { (); return 0 }())
// expected-error@-1 {{cannot convert 'type(of:)' metatype to non-metatype 'Int'}}
let _: Undefined = Swift.type(of: { (); return 0 }())
// expected-error@-1 {{cannot find type 'Undefined' in scope}}