diff options
author | Florian Diebold <[email protected]> | 2021-04-09 13:15:26 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-09 13:15:26 +0100 |
commit | 5ca481bbdc75bd3a9dbce4c94b014bd0eb8bd9e8 (patch) | |
tree | bff5670807fd0cd9ce5d5f6ffaedf0c90ca02c51 /crates/hir_ty/src/tls.rs | |
parent | 743faa21e74cc5b627935e2c4c3365807a5c722f (diff) |
Move ToChalk -> mapping
Diffstat (limited to 'crates/hir_ty/src/tls.rs')
-rw-r--r-- | crates/hir_ty/src/tls.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/crates/hir_ty/src/tls.rs b/crates/hir_ty/src/tls.rs index c319bcf70..92989f11f 100644 --- a/crates/hir_ty/src/tls.rs +++ b/crates/hir_ty/src/tls.rs | |||
@@ -4,7 +4,9 @@ use std::fmt; | |||
4 | use chalk_ir::{AliasTy, GenericArg, Goal, Goals, Lifetime, ProgramClauseImplication}; | 4 | use chalk_ir::{AliasTy, GenericArg, Goal, Goals, Lifetime, ProgramClauseImplication}; |
5 | use itertools::Itertools; | 5 | use itertools::Itertools; |
6 | 6 | ||
7 | use crate::{db::HirDatabase, from_assoc_type_id, CallableDefId, chalk_db::{from_chalk, self}, Interner}; | 7 | use crate::{ |
8 | chalk_db, db::HirDatabase, from_assoc_type_id, mapping::from_chalk, CallableDefId, Interner, | ||
9 | }; | ||
8 | use hir_def::{AdtId, AssocContainerId, Lookup, TypeAliasId}; | 10 | use hir_def::{AdtId, AssocContainerId, Lookup, TypeAliasId}; |
9 | 11 | ||
10 | pub(crate) use unsafe_tls::{set_current_program, with_current_program}; | 12 | pub(crate) use unsafe_tls::{set_current_program, with_current_program}; |