diff options
author | Florian Diebold <[email protected]> | 2020-07-15 20:47:45 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2020-07-15 21:07:13 +0100 |
commit | 20770044631fd0c21caa12f9bc87489ea6c848ee (patch) | |
tree | 27ba12638469c763874fa094744ffe3f628a7164 /crates/ra_hir_ty/src/traits/chalk.rs | |
parent | a48843a16a2306399f2f6a78c69d9192a6480c88 (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.rs | 12 |
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 | ||
555 | impl From<AdtId> for crate::TypeCtorId { | ||
556 | fn from(struct_id: AdtId) -> Self { | ||
557 | struct_id.0 | ||
558 | } | ||
559 | } | ||
560 | |||
561 | impl From<crate::TypeCtorId> for AdtId { | ||
562 | fn from(type_ctor_id: crate::TypeCtorId) -> Self { | ||
563 | chalk_ir::AdtId(type_ctor_id) | ||
564 | } | ||
565 | } | ||
566 | |||
567 | impl From<FnDefId> for crate::CallableDefId { | 555 | impl 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) |