Function rustc_hir_analysis::impl_wf_check::min_specialization::check_static_lifetimes

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<A> Tr for A { }
impl Tr for &'static i32 { }