fn check_static_lifetimes<'tcx>(
    tcx: TyCtxt<'tcx>,
    parent_args: &Vec<GenericArg<'tcx>>,
    span: Span
) -> Result<(), ErrorGuaranteed>
Expand description

Check that 'static lifetimes are not introduced by the specializing impl.

For example forbid the following:

impl<A> Tr for A { }
impl Tr for &'static i32 { }