// RUN: not %target-swift-frontend %s -typecheck | |
protocol ProtocolWithCount: Collection { | |
var count : UInt64 { get } | |
} | |
class ClassWithoutCount : ProtocolWithCount { | |
// var count: UInt64 = 0 | |
var startIndex: UInt64 { get { return 0 }} | |
var endIndex: UInt64 { get { return 0 }} | |
subscript(i:UInt64) -> Int64 { get {return 0}} | |
} | |