t1427.scala:6: warning: abstract type X in type pattern Bob[_[_] <: Any] is unchecked since it is eliminated by erasure
    case x: (Bob[X] forSome { type X[_] })  => true
                    ^