// test well-kindedness checks
class WellKinded[x] {
  type t = x[x]
}