mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
39 lines
727 B
Swift
39 lines
727 B
Swift
// This source file is part of the Swift.org open source project
|
|
// Copyright (c) 2014 - 2017 Apple Inc. and the Swift project authors
|
|
// Licensed under Apache License v2.0 with Runtime Library Exception
|
|
//
|
|
// See https://swift.org/LICENSE.txt for license information
|
|
// See https://swift.org/CONTRIBUTORS.txt for the list of Swift project authors
|
|
|
|
// RUN: not %target-swift-frontend %s -typecheck
|
|
func p<p>() -> (p, p -> p) -> p {
|
|
l c l.l = {
|
|
}
|
|
{
|
|
p) {
|
|
})
|
|
}
|
|
protocol p {
|
|
}
|
|
class h: p {
|
|
}
|
|
(h() as p).dynamicType.g()
|
|
protocol p {
|
|
}
|
|
protocol h : p {
|
|
}
|
|
protocol g : p {
|
|
}
|
|
protocol n {
|
|
}
|
|
struct h : n {
|
|
t : n q m.t == m> (h: m) {
|
|
}
|
|
func q<t : n q t.t == g> (h: t) {
|
|
}
|
|
func b<d-> d { class d:b class b
|
|
protocol A {
|
|
}
|
|
func f() {
|
|
({})
|