Function ty_has_param_const 

pub(crate) fn ty_has_param_const(ty: Ty<'_>) -> bool

True when a type transitively contains a const-generic parameter or an associated type alias (which may be layout-ambiguous).