Files
swift-mirror/validation-test/compiler_crashers_fixed/00113-swift-constraints-constraintsystem-solve.swift
2017-01-06 16:41:22 +01:00

31 lines
657 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
[]
}
protocol p {
}
protocol g : p {
}
n j }
}
protocol k {
class func q()
}
class n: k{ class func q {}
func r<e: t, s where j<s> == e.m { func g
k q<n : t> {
q g: n
}
func p<n>() -> [q<n>] {
o : g.l) {
}
}
class p {
typealias g = g