From 62b18eedffc7daafb26c88b0a97fbb95671f1f41 Mon Sep 17 00:00:00 2001 From: Shoyu Vanilla Date: Tue, 23 Dec 2025 01:25:34 +0900 Subject: [PATCH] Experiment --- compiler/rustc_hir_typeck/src/fn_ctxt/_impl.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/rustc_hir_typeck/src/fn_ctxt/_impl.rs b/compiler/rustc_hir_typeck/src/fn_ctxt/_impl.rs index da719e615fd70..8039313357559 100644 --- a/compiler/rustc_hir_typeck/src/fn_ctxt/_impl.rs +++ b/compiler/rustc_hir_typeck/src/fn_ctxt/_impl.rs @@ -543,11 +543,11 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> { // reader, although I have my doubts). Also pass in types with inference // types, because they may be repeated. Other sorts of things are already // sufficiently enforced with erased regions. =) - fn can_contain_user_lifetime_bounds(t: T) -> bool + fn can_contain_user_lifetime_bounds(_: T) -> bool where T: TypeVisitable>, { - t.has_free_regions() || t.has_aliases() || t.has_infer_types() + true } pub(crate) fn node_ty(&self, id: HirId) -> Ty<'tcx> {