Scala понижающего приведения дженерик

Question

Я ищу помощь со следующей проблемой:

case class A(val name: String) 
class B(name: String) extends A(name) 
class Base[T <: A](param: T) 
class SubClass[T <: B](param: T) 

object Factory { 
    def create[T <: A](param: T) = { 
    param.name match { 
     case "something" => new Base(param) 
     case "something else" => new SubClass(param) 
    } 
    } 
} 

Завод не компилируется из-за несоответствие между парами Подклассом ожидает (T: < B) и определение из T в создании, который isT: < A. Есть ли для этого чистое решение или мне нужно сбрасывать при вызове конструктора подкласса? как бы выглядел понижающий?

Просто чтобы быть ясно - когда Подкласс contructed с парами, пары действительно Т <: Б.

Спасибо.

Answer 1

Почему вы не согласны с параметром во-первых?

param match { 
    case b : B => ... 
    case a : A => ... 
} 

Answer 2

компилируется и работает нормально, если вы поставляете параметр типа:

case "something else" => new SubClass[T](param) 

ли должен компиляции сомнительна, так как это даст ClassCastException во время выполнения, если это совпадение происходит и T является не B.

Чистое решение должно соответствовать типу, как говорит Даниэль.