mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
b6fd5fe1ba
Instead of "a generic function" which is too abstract and not always correct, let's actually point to a kind of the declaration being referenced.
88 lines
2.4 KiB
Swift
88 lines
2.4 KiB
Swift
// RUN: %target-typecheck-verify-swift -verify-additional-prefix swift5-
|
|
// RUN: %target-typecheck-verify-swift -swift-version 6 -verify-additional-prefix swift6-
|
|
|
|
struct A<B> { // expected-note{{generic type 'A' declared here}}
|
|
init(x:Int) {}
|
|
static func c() {}
|
|
|
|
struct C<D> {
|
|
static func e() {}
|
|
}
|
|
|
|
struct F {}
|
|
}
|
|
struct B {}
|
|
struct D {}
|
|
|
|
protocol Runcible {}
|
|
protocol Fungible {}
|
|
|
|
func meta<T>(_ m: T.Type) {}
|
|
func meta2<T>(_ m: T.Type, _ x: Int) {}
|
|
|
|
func generic<T>(_ x: T) {} // expected-note {{'generic' declared here}}
|
|
|
|
var a, b, c, d : Int
|
|
|
|
_ = a < b
|
|
_ = (a < b, c > d)
|
|
// Parses as generic because of lparen after '>'
|
|
(a < b, c > (d)) // expected-error{{cannot find type 'b' in scope}}
|
|
// expected-note@-1 2 {{while parsing this '<' as a type parameter bracket}}
|
|
// expected-error@-2 {{cannot specialize non-generic type 'Int'}}
|
|
// expected-error@-3 {{cannot call value of non-function type 'Int'}}
|
|
// expected-error@-4 {{cannot find type 'c' in scope}}
|
|
// Parses as generic because of lparen after '>'
|
|
(a<b, c>(d)) // expected-error{{cannot find type 'b' in scope}}
|
|
// expected-note@-1 2 {{while parsing this '<' as a type parameter bracket}}
|
|
// expected-error@-2 {{cannot specialize non-generic type 'Int'}}
|
|
// expected-error@-3 {{cannot call value of non-function type 'Int'}}
|
|
// expected-error@-4 {{cannot find type 'c' in scope}}
|
|
_ = a>(b)
|
|
_ = a > (b)
|
|
|
|
generic<Int>(0)
|
|
// expected-swift5-warning@-1{{cannot explicitly specialize global function 'generic'}}
|
|
// expected-swift6-error@-2 {{cannot explicitly specialize global function 'generic'}}
|
|
|
|
A<B>.c()
|
|
A<A<B>>.c()
|
|
A<A<B>.F>.c()
|
|
A<(A<B>) -> B>.c()
|
|
A<[[Int]]>.c()
|
|
A<[[A<B>]]>.c()
|
|
A<(Int, UnicodeScalar)>.c()
|
|
A<(a:Int, b:UnicodeScalar)>.c()
|
|
A<Runcible & Fungible>.c()
|
|
A<@convention(c) () -> Int32>.c()
|
|
A<(@autoclosure @escaping () -> Int, Int) -> Void>.c()
|
|
_ = [@convention(block) () -> Int]().count
|
|
_ = [String: (@escaping (A<B>) -> Int) -> Void]().keys
|
|
|
|
A<B>(x: 0) // expected-warning{{unused}}
|
|
|
|
meta(A<B>.self)
|
|
|
|
meta2(A<B>.self, 0)
|
|
|
|
// FIXME: Nested generic types. Need to be able to express $T0<A, B, C> in the
|
|
// typechecker.
|
|
/*
|
|
A<B>.C<D>.e()
|
|
|
|
A<B>.C<D>(0)
|
|
|
|
meta(A<B>.C<D>.self)
|
|
meta2(A<B>.C<D>.self, 0)
|
|
*/
|
|
|
|
// TODO: parse empty <> list
|
|
//A<>.c() // e/xpected-error{{xxx}}
|
|
|
|
A<B, D>.c() // expected-error{{generic type 'A' specialized with too many type parameters (got 2, but expected 1)}}
|
|
|
|
A<B?>(x: 0) // parses as type // expected-warning{{unused}}
|
|
_ = a < b ? c : d
|
|
|
|
A<(B) throws -> D>(x: 0) // expected-warning{{unused}}
|