From b598ab8be46b50d5f407c3858c7b2c788328edc7 Mon Sep 17 00:00:00 2001 From: Aleksey Kladov Date: Thu, 16 Jul 2020 13:13:17 +0200 Subject: Rename CallableDefId -> InternedCallabelDefid --- crates/ra_hir_ty/src/db.rs | 8 +++++++- crates/ra_hir_ty/src/lib.rs | 8 +------- crates/ra_hir_ty/src/traits/chalk.rs | 6 +++--- 3 files changed, 11 insertions(+), 11 deletions(-) (limited to 'crates/ra_hir_ty/src') diff --git a/crates/ra_hir_ty/src/db.rs b/crates/ra_hir_ty/src/db.rs index 608bab1b1..cad3856c9 100644 --- a/crates/ra_hir_ty/src/db.rs +++ b/crates/ra_hir_ty/src/db.rs @@ -77,7 +77,7 @@ pub trait HirDatabase: DefDatabase + Upcast { // Interned IDs for Chalk integration #[salsa::interned] - fn intern_callable_def(&self, callable_def: CallableDef) -> crate::CallableDefId; + fn intern_callable_def(&self, callable_def: CallableDef) -> InternedCallableDefId; #[salsa::interned] fn intern_type_param_id(&self, param_id: TypeParamId) -> GlobalTypeParamId; #[salsa::interned] @@ -151,3 +151,9 @@ impl_intern_key!(InternedOpaqueTyId); #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)] pub struct ClosureId(salsa::InternId); impl_intern_key!(ClosureId); + +/// This exists just for Chalk, because Chalk just has a single `FnDefId` where +/// we have different IDs for struct and enum variant constructors. +#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Ord, PartialOrd)] +pub struct InternedCallableDefId(salsa::InternId); +impl_intern_key!(InternedCallableDefId); diff --git a/crates/ra_hir_ty/src/lib.rs b/crates/ra_hir_ty/src/lib.rs index 9f034eca5..72b089604 100644 --- a/crates/ra_hir_ty/src/lib.rs +++ b/crates/ra_hir_ty/src/lib.rs @@ -33,7 +33,7 @@ use hir_def::{ TypeParamId, }; use itertools::Itertools; -use ra_db::{impl_intern_key, salsa, CrateId}; +use ra_db::{salsa, CrateId}; use crate::{ db::HirDatabase, @@ -140,12 +140,6 @@ pub enum TypeCtor { Closure { def: DefWithBodyId, expr: ExprId }, } -/// This exists just for Chalk, because Chalk just has a single `FnDefId` where -/// we have different IDs for struct and enum variant constructors. -#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Ord, PartialOrd)] -pub struct CallableDefId(salsa::InternId); -impl_intern_key!(CallableDefId); - impl TypeCtor { pub fn num_ty_params(self, db: &dyn HirDatabase) -> usize { match self { diff --git a/crates/ra_hir_ty/src/traits/chalk.rs b/crates/ra_hir_ty/src/traits/chalk.rs index 1ef5baa05..e0a6cfe88 100644 --- a/crates/ra_hir_ty/src/traits/chalk.rs +++ b/crates/ra_hir_ty/src/traits/chalk.rs @@ -552,14 +552,14 @@ pub(crate) fn fn_def_datum_query( Arc::new(datum) } -impl From for crate::CallableDefId { +impl From for crate::db::InternedCallableDefId { fn from(fn_def_id: FnDefId) -> Self { InternKey::from_intern_id(fn_def_id.0) } } -impl From for FnDefId { - fn from(callable_def_id: crate::CallableDefId) -> Self { +impl From for FnDefId { + fn from(callable_def_id: crate::db::InternedCallableDefId) -> Self { chalk_ir::FnDefId(callable_def_id.as_intern_id()) } } -- cgit v1.2.3