pub(crate) fn prohibit_explicit_late_bound_lifetimes(
cx: &dyn HirTyLowerer<'_>,
def: &Generics,
args: &GenericArgs<'_>,
position: GenericArgPosition,
) -> ExplicitLateBound
Expand description
Prohibits explicit lifetime arguments if late-bound lifetime parameters are present. This is used both for datatypes and function calls.