Function rustc_typeck::impl_wf_check::min_specialization::check_static_lifetimes

pub(in impl_wf_check::min_specialization) fn check_static_lifetimes<'tcx>(
    tcx: TyCtxt<'tcx>, 
    parent_substs: &Vec<GenericArg<'tcx>>, 
    span: Span
)

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

For example forbid the following:

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