// 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}}
}