Можете ли вы переопределить между расширениями в Swift или нет? (Компилятор кажется сбитым с толку!)

Я работаю над приложением iOS в Swift (большая его часть перенесена из Objective-C). Я использую Core Data и пытаюсь использовать расширения для добавления функциональности к классам, автоматически сгенерированным из моей модели. Одна вещь, которую я с готовностью сделал в Objective-C, заключалась в том, чтобы добавить метод в категорию класса A и переопределить этот метод в категории класса B (который производен от A), и я надеялся сделать то же самое в Swift.

Некоторое время у меня в проекте был следующий код (и это только один пример), и хотя я еще не использовал эту функциональность, компилятор отлично сработал, скомпилировав этот код:

// From CellType.swift -- NOTE: Imports from Foundation and CoreData
@objc(CellType)
class CellType: NSManagedObject {
    @NSManaged var maxUses: NSNumber
    @NSManaged var useCount: NSNumber
    // Other properties removed for brevity
}


// From SwitchCellType.swift -- NOTE: Imports from Foundation and CoreData
@objc(SwitchCellType)
class SwitchCellType: CellType {
    @NSManaged var targetCellXIndex: NSNumber
    @NSManaged var targetCellYIndex: NSNumber
    @NSManaged var targetCellType: CellType
    // Other properties removed for brevity
}


// From CellTypeLogic.swift -- NOTE: Imports from Foundation and CoreData
extension CellType
{
    var typeLabel : String { get { return "Empty"; } }
    func isEqualToType(otherCellType : CellType) -> Bool
    {
        return (self.typeLabel == otherCellType.typeLabel &&
            self.maxUses.isEqualToNumber(otherCellType.maxUses) &&
            self.useCount.isEqualToNumber(otherCellType.useCount));
    }
    // Code removed for brevity
}


// From SwitchCellTypeLogic.swift -- NOTE: Imports from Foundation and CoreData
extension SwitchCellType    // YES, this compiles with the overrides!
{
    override var typeLabel : String { get { return "Switch"; } }
    override func isEqualToType(otherCellType : CellType) -> Bool
    {
        var answer = false;
        if let otherSwitchCellType = otherCellType as? SwitchCellType
        {
            answer = super.isEqualToType(otherCellType) &&
                self.targetCellXIndex.isEqualToNumber(otherSwitchCellType.targetCellXIndex) &&
                self.targetCellYIndex.isEqualToNumber(otherSwitchCellType.targetCellYIndex) &&
                self.targetCellType.isEqualToType(otherSwitchCellType.targetCellType);
        }
        return answer;
    }
    // Code removed for brevity
}

Надеюсь, какой-нибудь эксперт по Swift уже увидел мою проблему, но вот как я узнал об этом: недавно я пытался добавить аналогичную функциональность, используя методы, которые имеют параметры и/или возвращаемые значения, которые не встроены в типы, но я начал получать это error: Объявления в расширениях пока не могут переопределять.

Чтобы изучить эту проблему, я добавил следующее в один из моих файлов swift, думая, что он отлично скомпилируется:

class A
{
}

class B : A
{
}

extension A
{
    var y : String { get { return "YinA"; } }
}

extension B
{
    override var  y : String { get { return "YinB"; } }  // Compiler error (see below) -- What??
}

К моему удивлению, я получил ту же ошибку компилятора (объявления в расширениях пока не могут переопределять). Какая? Но я уже несколько раз использовал этот шаблон без ошибок компилятора.

Вопросы. Во-первых, существуют ли определенные правила переопределения в расширениях, согласно которым в некоторых случаях это должно работать, а в других — нет? Во-вторых (и более сбивающий с толку), почему компилятор Swift кажется таким непоследовательным? Что мне здесь не хватает? Пожалуйста, помогите мне восстановить мою веру в Swift.

ОБНОВЛЕНИЕ:

Как отмечено в правильном ответе Мартина Р., похоже, вы можете переопределить методы в текущей версии Swift (1.1 через Xcode 6.1), если они (1) включают только классы, производные от NSObject, и (2) не используют inout модификатор. Вот несколько примеров:

class A : NSObject { }

class B : A { }

class SubNSObject : NSObject {}
class NotSubbed {}
enum SomeEnum { case c1, c2; }

extension A
{
    var y : String { get { return "YinA"; } }
    func f() -> A { return A(); }
    func g(val: SubNSObject, test: Bool = false) { }

    func h(val: NotSubbed, test: Bool = false) { }
    func j(val: SomeEnum) { }
    func k(val: SubNSObject, inout test: Bool) { }
}

extension B 
{
    // THESE OVERIDES DO COMPILE:
    override var  y : String { get { return "YinB"; } }
    override func f() -> A { return A(); }
    override func g(val: SubNSObject, test: Bool) { }

    // THESE OVERIDES DO NOT COMPILE:
    //override func h(val: NotSubbed, test: Bool = false) { }
    //override func j(val: SomeEnum) { }
    //override func k(val: SubNSObject, inout test: Bool) { }

}