god knows what i did but this elides most bounds i think

Author: nia-e

compiler/rustc_middle/src/ty/context.rs

@@ -115,6 +115,10 @@ impl<'tcx> rustc_type_ir::inherent::Features<TyCtxt<'tcx>> for &'tcx rustc_featu
         self.coroutine_clone()
     }
 
+    fn move_trait(self) -> bool {
+        self.move_trait()
+    }
+
     fn feature_bound_holds_in_crate(self, symbol: Symbol) -> bool {
         // We don't consider feature bounds to hold in the crate when `staged_api` feature is
         // enabled, even if it is enabled through `#[feature]`.

compiler/rustc_type_ir/src/inherent.rs

@@ -647,6 +647,8 @@ pub trait Features<I: Interner>: Copy {
 
     fn coroutine_clone(self) -> bool;
 
+    fn move_trait(self) -> bool;
+
     fn feature_bound_holds_in_crate(self, symbol: I::Symbol) -> bool;
 }
 

src/tools/rust-analyzer/crates/hir-ty/src/next_solver/solver.rs

@@ -298,7 +298,9 @@ impl<'db> SolverDelegate for SolverContext<'db> {
 
             if trait_pred.polarity() == PredicatePolarity::Positive {
                 match self.0.interner.as_trait_lang_item(trait_pred.def_id()) {
-                    Some(SolverTraitLangItem::Sized) | Some(SolverTraitLangItem::MetaSized) => {
+                    Some(SolverTraitLangItem::Sized)
+                    | Some(SolverTraitLangItem::MetaSized)
+                    | Some(SolverTraitLangItem::Move) => {
                         let predicate = self.resolve_vars_if_possible(goal.predicate);
                         if implicit_fast_path(self.interner, predicate, goal.param_env) {
                             return Some(Certainty::Yes);

src/tools/rust-analyzer/crates/hir-ty/src/next_solver/util.rs

@@ -659,6 +659,7 @@ pub fn implicit_fast_path<'db>(
             Some(SolverTraitLangItem::MetaSized) => SizedTraitKind::MetaSized,
             // TODO(nia-e): do more comprehensive fast-pathing when the feature is on
             Some(SolverTraitLangItem::Move) => return trait_pred.self_ty().has_trivial_move(tcx),
+
             _ => return false,
         };