publish gen_lsp_server 0.2

Author: matklad

Cargo.lock

@@ -1,7 +1,7 @@
 [package]
 edition = "2018"
 name = "gen_lsp_server"
-version = "0.1.0"
+version = "0.2.0"
 authors = ["rust-analyzer developers"]
 repository = "https://github.com/rust-analyzer/rust-analyzer"
 license = "MIT OR Apache-2.0"

crates/gen_lsp_server/Cargo.toml

@@ -78,23 +78,24 @@ pub enum Obligation {
 
 /// Check using Chalk whether trait is implemented for given parameters including `Self` type.
 pub(crate) fn implements_query(
-    db: &impl HirDatabase,
-    krate: Crate,
-    trait_ref: Canonical<TraitRef>,
+    _db: &impl HirDatabase,
+    _krate: Crate,
+    _trait_ref: Canonical<TraitRef>,
 ) -> Option<Solution> {
-    let _p = profile("implements_query");
-    let goal: chalk_ir::Goal = trait_ref.value.to_chalk(db).cast();
-    debug!("goal: {:?}", goal);
-    let env = chalk_ir::Environment::new();
-    let in_env = chalk_ir::InEnvironment::new(&env, goal);
-    let parameter = chalk_ir::ParameterKind::Ty(chalk_ir::UniverseIndex::ROOT);
-    let canonical =
-        chalk_ir::Canonical { value: in_env, binders: vec![parameter; trait_ref.num_vars] };
-    // We currently don't deal with universes (I think / hope they're not yet
-    // relevant for our use cases?)
-    let u_canonical = chalk_ir::UCanonical { canonical, universes: 1 };
-    let solution = solve(db, krate, &u_canonical);
-    solution.map(|solution| solution_from_chalk(db, solution))
+    return None;
+    // let _p = profile("implements_query");
+    // let goal: chalk_ir::Goal = trait_ref.value.to_chalk(db).cast();
+    // debug!("goal: {:?}", goal);
+    // let env = chalk_ir::Environment::new();
+    // let in_env = chalk_ir::InEnvironment::new(&env, goal);
+    // let parameter = chalk_ir::ParameterKind::Ty(chalk_ir::UniverseIndex::ROOT);
+    // let canonical =
+    //     chalk_ir::Canonical { value: in_env, binders: vec![parameter; trait_ref.num_vars] };
+    // // We currently don't deal with universes (I think / hope they're not yet
+    // // relevant for our use cases?)
+    // let u_canonical = chalk_ir::UCanonical { canonical, universes: 1 };
+    // let solution = solve(db, krate, &u_canonical);
+    // solution.map(|solution| solution_from_chalk(db, solution))
 }
 
 fn solution_from_chalk(db: &impl HirDatabase, solution: chalk_solve::Solution) -> Solution {