From ab7774545cb5e45064c907429417bdee8d89f4d4 Mon Sep 17 00:00:00 2001
From: Evgenii P <eupn@protonmail.com>
Date: Sat, 3 Aug 2019 01:53:51 +0700
Subject: Use future lang item instead of hardcoded std::future::Future

---
 crates/ra_hir/src/source_binder.rs | 41 ++++++++++----------------------------
 1 file changed, 10 insertions(+), 31 deletions(-)

(limited to 'crates/ra_hir/src')

diff --git a/crates/ra_hir/src/source_binder.rs b/crates/ra_hir/src/source_binder.rs
index 67cb19615..7720329e3 100644
--- a/crates/ra_hir/src/source_binder.rs
+++ b/crates/ra_hir/src/source_binder.rs
@@ -24,6 +24,7 @@ use crate::{
         BodySourceMap,
     },
     ids::LocationCtx,
+    lang_item::LangItemTarget,
     ty::method_resolution::implements_trait,
     AsName, AstId, Const, Crate, DefWithBody, Either, Enum, Function, HirDatabase, HirFileId,
     MacroDef, Module, Name, Path, PerNs, Resolver, Static, Struct, Trait, Ty,
@@ -410,40 +411,18 @@ impl SourceAnalyzer {
         crate::ty::autoderef(db, &self.resolver, canonical).map(|canonical| canonical.value)
     }
 
-    /// Checks that particular type `ty` implements `std::future::Future` trait.
+    /// Checks that particular type `ty` implements `Future` trait (`future_trait` lang item).
     /// This function is used in `.await` syntax completion.
     pub fn impls_future(&self, db: &impl HirDatabase, ty: Ty) -> bool {
-        // Search for std::future::Future trait in scope
-        let future_trait = self
-            .resolver
-            .traits_in_scope(db)
-            .into_iter()
-            .filter(|t| {
-                let std = t
-                    .module(db)
-                    .parent(db)
-                    .and_then(|m| m.name(db).and_then(|n| Some(n.to_string() == "std")))
-                    .unwrap_or(false);
-
-                let future = t
-                    .module(db)
-                    .name(db)
-                    .and_then(|n| Some(n.to_string() == "future"))
-                    .unwrap_or(false);
-
-                let future_trait =
-                    t.name(db).and_then(|n| Some(n.to_string() == "Future")).unwrap_or(false);
-
-                std && future && future_trait
-            })
-            .nth(0);
+        let krate = self.resolver.krate();
+        if let Some(krate) = krate {
+            let future_trait = match db.lang_item(krate, "future_trait".into()) {
+                Some(LangItemTarget::Trait(t)) => t,
+                _ => return false,
+            };
 
-        if let Some(trait_) = future_trait {
-            let krate = self.resolver.krate();
-            if let Some(krate) = krate {
-                let canonical_ty = crate::ty::Canonical { value: ty, num_vars: 0 };
-                return implements_trait(&canonical_ty, db, &self.resolver, krate, trait_);
-            }
+            let canonical_ty = crate::ty::Canonical { value: ty, num_vars: 0 };
+            return implements_trait(&canonical_ty, db, &self.resolver, krate, future_trait);
         }
 
         false
-- 
cgit v1.2.3