Function impl_super_outlives

pub fn impl_super_outlives<'tcx>(tcx: TyCtxt<'tcx>, key: Key<'tcx>) -> String