t5564.scala

trait C


class Foo[@specialized(Int) T, A] {
  def bar[B >: A <: C]: T = throw new Exception
}