From 26463f189ff75e92990375ee5ae08d3903d39e66 Mon Sep 17 00:00:00 2001 From: Aleksey Kladov Date: Tue, 21 May 2019 18:57:33 +0300 Subject: publish gen_lsp_server 0.2 --- crates/ra_hir/src/ty/traits.rs | 33 +++++++++++++++++---------------- 1 file changed, 17 insertions(+), 16 deletions(-) (limited to 'crates/ra_hir/src/ty/traits.rs') diff --git a/crates/ra_hir/src/ty/traits.rs b/crates/ra_hir/src/ty/traits.rs index f39749cab..908c00209 100644 --- a/crates/ra_hir/src/ty/traits.rs +++ b/crates/ra_hir/src/ty/traits.rs @@ -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, + _db: &impl HirDatabase, + _krate: Crate, + _trait_ref: Canonical, ) -> Option { - 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 { -- cgit v1.2.3