existentials

@languageFeature("#, which cannot be expressed by wildcards,", enableRequired = false)
sealed trait existentials
class Object
trait Matchable
class Any