Swift 2

class A {
}

class B: A {
}

protocol SomeP {
    var a: A { get }
}

class SomeC: SomeP  {
    var a = B() // так тоже нельзя, хоть и B наследник A, ты не можешь поменять тип переменной на наследника только так можно:
    var a: A = B()
}