New posts in type-bounds

Why can't I return a concrete subtype of A if a generic subtype of A is declared as return parameter?

scala generics tree pattern-matching type-bounds