test/files/pos/elidable-tparams.scala


1
2
3
4
5
6
7
8
9
10

import annotation._
import elidable._

class ElidableCrashTest {
  trait My
  
  @elidable(MINIMUM) def foo[a >: My <: My]: scala.Unit = ()

  foo[My] // crash
}