upcast

open fun <X : T> upcast(): LightSpecification<X>