aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/traits/chalk.rs
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2020-07-15 20:47:45 +0100
committerFlorian Diebold <[email protected]>2020-07-15 21:07:13 +0100
commit20770044631fd0c21caa12f9bc87489ea6c848ee (patch)
tree27ba12638469c763874fa094744ffe3f628a7164 /crates/ra_hir_ty/src/traits/chalk.rs
parenta48843a16a2306399f2f6a78c69d9192a6480c88 (diff)
Remove TypeCtor interning
Our TypeCtor and Chalk's TypeName match now!
Diffstat (limited to 'crates/ra_hir_ty/src/traits/chalk.rs')
-rw-r--r--crates/ra_hir_ty/src/traits/chalk.rs12
1 files changed, 0 insertions, 12 deletions
diff --git a/crates/ra_hir_ty/src/traits/chalk.rs b/crates/ra_hir_ty/src/traits/chalk.rs
index 7f8ba2f12..1ef5baa05 100644
--- a/crates/ra_hir_ty/src/traits/chalk.rs
+++ b/crates/ra_hir_ty/src/traits/chalk.rs
@@ -552,18 +552,6 @@ pub(crate) fn fn_def_datum_query(
552 Arc::new(datum) 552 Arc::new(datum)
553} 553}
554 554
555impl From<AdtId> for crate::TypeCtorId {
556 fn from(struct_id: AdtId) -> Self {
557 struct_id.0
558 }
559}
560
561impl From<crate::TypeCtorId> for AdtId {
562 fn from(type_ctor_id: crate::TypeCtorId) -> Self {
563 chalk_ir::AdtId(type_ctor_id)
564 }
565}
566
567impl From<FnDefId> for crate::CallableDefId { 555impl From<FnDefId> for crate::CallableDefId {
568 fn from(fn_def_id: FnDefId) -> Self { 556 fn from(fn_def_id: FnDefId) -> Self {
569 InternKey::from_intern_id(fn_def_id.0) 557 InternKey::from_intern_id(fn_def_id.0)