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.