pub(crate) const IMPL_SPANNED_FOR_RTsParamProp: ();