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