pub(crate) fn prohibit_explicit_late_bound_lifetimes(
    tcx: TyCtxt<'_>,
    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.