From 9aa065bc49e5c9a0e07dbfc4bb0823821e5f130d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jana=20D=C3=B6nszelmann?= <jana@donsz.nl>
Date: Mon, 9 Feb 2026 12:31:37 +0100
Subject: [PATCH] inline into

---
 .../src/infer/relate/generalize.rs            | 19 ++++++++-----------
 1 file changed, 8 insertions(+), 11 deletions(-)

diff --git a/compiler/rustc_infer/src/infer/relate/generalize.rs b/compiler/rustc_infer/src/infer/relate/generalize.rs
index e1d3f4e6bd48..f3843c371e2c 100644
--- a/compiler/rustc_infer/src/infer/relate/generalize.rs
+++ b/compiler/rustc_infer/src/infer/relate/generalize.rs
@@ -99,7 +99,10 @@ pub fn instantiate_ty_var<R: PredicateEmittingRelation<Self>>(
             // `?1 <: ?3`.
             let Generalization { value_may_be_infer: generalized_ty } = self.generalize(
                 relation.span(),
-                relation.structurally_relate_aliases().into(),
+                match relation.structurally_relate_aliases() {
+                    StructurallyRelateAliases::No => GeneralizerState::Default,
+                    StructurallyRelateAliases::Yes => GeneralizerState::StructurallyRelateAliases,
+                },
                 target_vid,
                 instantiation_variance,
                 source_ty,
@@ -236,7 +239,10 @@ pub(crate) fn instantiate_const_var<R: PredicateEmittingRelation<InferCtxt<'tcx>
         // constants and generic expressions are not yet handled correctly.
         let Generalization { value_may_be_infer: generalized_ct } = self.generalize(
             relation.span(),
-            relation.structurally_relate_aliases().into(),
+            match relation.structurally_relate_aliases() {
+                StructurallyRelateAliases::No => GeneralizerState::Default,
+                StructurallyRelateAliases::Yes => GeneralizerState::StructurallyRelateAliases,
+            },
             target_vid,
             ty::Invariant,
             source_ct,
@@ -359,15 +365,6 @@ enum GeneralizerState {
     StructurallyRelateAliases,
 }
 
-impl From<StructurallyRelateAliases> for GeneralizerState {
-    fn from(structurally_relate_aliases: StructurallyRelateAliases) -> Self {
-        match structurally_relate_aliases {
-            StructurallyRelateAliases::No => GeneralizerState::Default,
-            StructurallyRelateAliases::Yes => GeneralizerState::StructurallyRelateAliases,
-        }
-    }
-}
-
 /// The "generalizer" is used when handling inference variables.
 ///
 /// The basic strategy for handling a constraint like `?A <: B` is to