diff options
| author | Michael Goulet <michael@errs.io> | 2025-03-20 01:59:38 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-03-20 02:17:14 +0000 |
| commit | 220851cc75558d06df98c7650b50d59ef2b5e348 (patch) | |
| tree | f8fc2057fa27b06825427ff319e8e5515cf93faa /compiler/rustc_next_trait_solver/src | |
| parent | 2947be7af8732d1c298a15030325cc50c8910061 (diff) | |
| download | rust-220851cc75558d06df98c7650b50d59ef2b5e348.tar.gz rust-220851cc75558d06df98c7650b50d59ef2b5e348.zip | |
Do not rely on type_var_origin in OrphanCheckErr::NonLocalInputType
Diffstat (limited to 'compiler/rustc_next_trait_solver/src')
| -rw-r--r-- | compiler/rustc_next_trait_solver/src/coherence.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/rustc_next_trait_solver/src/coherence.rs b/compiler/rustc_next_trait_solver/src/coherence.rs index 53290203600..f8215a228f5 100644 --- a/compiler/rustc_next_trait_solver/src/coherence.rs +++ b/compiler/rustc_next_trait_solver/src/coherence.rs @@ -4,7 +4,8 @@ use std::ops::ControlFlow; use derive_where::derive_where; use rustc_type_ir::inherent::*; use rustc_type_ir::{ - self as ty, InferCtxtLike, Interner, TypeVisitable, TypeVisitableExt, TypeVisitor, + self as ty, InferCtxtLike, Interner, TrivialTypeTraversalImpls, TypeVisitable, + TypeVisitableExt, TypeVisitor, }; use tracing::instrument; @@ -95,6 +96,8 @@ pub fn trait_ref_is_local_or_fundamental<I: Interner>(tcx: I, trait_ref: ty::Tra trait_ref.def_id.is_local() || tcx.trait_is_fundamental(trait_ref.def_id) } +TrivialTypeTraversalImpls! { IsFirstInputType, } + #[derive(Debug, Copy, Clone)] pub enum IsFirstInputType { No, |