f96b6beefc ^
c1f5cbd4a0 ^
1 2 3
4
// test well-kindedness checks class WellKinded[s <: Throwable] { val foo: s[Int] }