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.