trait T[@specialized(Int) S] {
  def initialValue: S
  var value: S = initialValue
}

final class C[@specialized(Int) S](val initialValue: S) extends T[S]

object Test extends App {
  new C("hi")
}

trait BaseSp[@specialized(Long, Double) S] {
  def initialValue: S
  var value: S = initialValue
  override def toString = "" + value
}

trait BaseNotSp[S] {
  def initialValue: S
  var value: S = initialValue
  override def toString = "" + value
}

final class Bar_Sp_Sp    [@specialized(Long, Double) S](val initialValue: S) extends BaseSp[S]
final class Bar_NotSp_Sp [                           S](val initialValue: S) extends BaseSp[S]
final class Bar_Sp_NotSp [@specialized(Long, Double) S](val initialValue: S) extends BaseNotSp[S]
final class Bar_NotSp_NotSp                         [S](val initialValue: S) extends BaseNotSp[S]

object Test extends App {
  val a = new Bar_Sp_Sp[Double](Double.MaxValue)    // CCE
  val b = new Bar_Sp_Sp[Long](Long.MaxValue)        // CCE
  val c = new Bar_NotSp_Sp[Double](Double.MaxValue) // AbstractMethodError
  val d = new Bar_NotSp_Sp[Long](Long.MaxValue)     // CCE
  println((a, b, c, d))

  val e = new Bar_Sp_NotSp[Double](Double.MaxValue)
  val f = new Bar_Sp_NotSp[Long](Long.MaxValue)
  val g = new Bar_NotSp_NotSp[Double](Double.MaxValue)
  val h = new Bar_NotSp_NotSp[Long](Long.MaxValue)
  println((e, f, g, h))
}