pub fn test_inferred_outlives(tcx: TyCtxt<'_>)