bendns' repos / rust-analyzer
Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-def/src/lower.rs')
-rw-r--r--crates/hir-def/src/lower.rs149
1 files changed, 0 insertions, 149 deletions
diff --git a/crates/hir-def/src/lower.rs b/crates/hir-def/src/lower.rs
deleted file mode 100644
index 7cddd48eb1..0000000000
--- a/crates/hir-def/src/lower.rs
+++ /dev/null
@@ -1,149 +0,0 @@
-//! Context for lowering paths.
-use std::{cell::OnceCell, mem};
-
-use hir_expand::{span_map::SpanMap, AstId, HirFileId, InFile};
-use span::{AstIdMap, AstIdNode, Edition, EditionedFileId, FileId, RealSpanMap};
-use stdx::thin_vec::ThinVec;
-use syntax::ast;
-use triomphe::Arc;
-
-use crate::{
- db::DefDatabase,
- path::Path,
- type_ref::{PathId, TypeBound, TypePtr, TypeRef, TypeRefId, TypesMap, TypesSourceMap},
-};
-
-pub struct LowerCtx<'a> {
- pub db: &'a dyn DefDatabase,
- file_id: HirFileId,
- span_map: OnceCell<SpanMap>,
- ast_id_map: OnceCell<Arc<AstIdMap>>,
- impl_trait_bounds: Vec<ThinVec<TypeBound>>,
- // Prevent nested impl traits like `impl Foo<impl Bar>`.
- outer_impl_trait: bool,
- types_map: &'a mut TypesMap,
- types_source_map: &'a mut TypesSourceMap,
-}
-
-impl<'a> LowerCtx<'a> {
- pub fn new(
- db: &'a dyn DefDatabase,
- file_id: HirFileId,
- types_map: &'a mut TypesMap,
- types_source_map: &'a mut TypesSourceMap,
- ) -> Self {
- LowerCtx {
- db,
- file_id,
- span_map: OnceCell::new(),
- ast_id_map: OnceCell::new(),
- impl_trait_bounds: Vec::new(),
- outer_impl_trait: false,
- types_map,
- types_source_map,
- }
- }
-
- pub fn with_span_map_cell(
- db: &'a dyn DefDatabase,
- file_id: HirFileId,
- span_map: OnceCell<SpanMap>,
- types_map: &'a mut TypesMap,
- types_source_map: &'a mut TypesSourceMap,
- ) -> Self {
- LowerCtx {
- db,
- file_id,
- span_map,
- ast_id_map: OnceCell::new(),
- impl_trait_bounds: Vec::new(),
- outer_impl_trait: false,
- types_map,
- types_source_map,
- }
- }
-
- /// Prepares a `LowerCtx` for synthetic AST that needs to be lowered. This is intended for IDE things.
- pub fn for_synthetic_ast(
- db: &'a dyn DefDatabase,
- ast_id_map: Arc<AstIdMap>,
- types_map: &'a mut TypesMap,
- types_source_map: &'a mut TypesSourceMap,
- ) -> Self {
- let file_id = EditionedFileId::new(
- FileId::from_raw(EditionedFileId::MAX_FILE_ID),
- Edition::Edition2015,
- );
- LowerCtx {
- db,
- // Make up an invalid file id, so that if we will try to actually access it salsa will panic.
- file_id: file_id.into(),
- span_map: SpanMap::RealSpanMap(Arc::new(RealSpanMap::absolute(file_id))).into(),
- ast_id_map: ast_id_map.into(),
- impl_trait_bounds: Vec::new(),
- outer_impl_trait: false,
- types_map,
- types_source_map,
- }
- }
-
- pub(crate) fn span_map(&self) -> &SpanMap {
- self.span_map.get_or_init(|| self.db.span_map(self.file_id))
- }
-
- pub(crate) fn lower_path(&mut self, ast: ast::Path) -> Option<Path> {
- Path::from_src(self, ast)
- }
-
- pub(crate) fn ast_id<N: AstIdNode>(&self, item: &N) -> AstId<N> {
- InFile::new(
- self.file_id,
- self.ast_id_map.get_or_init(|| self.db.ast_id_map(self.file_id)).ast_id(item),
- )
- }
-
- pub fn update_impl_traits_bounds_from_type_ref(&mut self, type_ref: TypeRefId) {
- TypeRef::walk(type_ref, self.types_map, &mut |tr| {
- if let TypeRef::ImplTrait(bounds) = tr {
- self.impl_trait_bounds.push(bounds.clone());
- }
- });
- }
-
- pub fn take_impl_traits_bounds(&mut self) -> Vec<ThinVec<TypeBound>> {
- mem::take(&mut self.impl_trait_bounds)
- }
-
- pub(crate) fn outer_impl_trait(&self) -> bool {
- self.outer_impl_trait
- }
-
- pub(crate) fn with_outer_impl_trait_scope<R>(
- &mut self,
- impl_trait: bool,
- f: impl FnOnce(&mut Self) -> R,
- ) -> R {
- let old = mem::replace(&mut self.outer_impl_trait, impl_trait);
- let result = f(self);
- self.outer_impl_trait = old;
- result
- }
-
- pub(crate) fn alloc_type_ref(&mut self, type_ref: TypeRef, node: TypePtr) -> TypeRefId {
- let id = self.types_map.types.alloc(type_ref);
- self.types_source_map.types_map_back.insert(id, InFile::new(self.file_id, node));
- id
- }
-
- pub(crate) fn alloc_type_ref_desugared(&mut self, type_ref: TypeRef) -> TypeRefId {
- self.types_map.types.alloc(type_ref)
- }
-
- pub(crate) fn alloc_error_type(&mut self) -> TypeRefId {
- self.types_map.types.alloc(TypeRef::Error)
- }
-
- pub(crate) fn alloc_path(&mut self, path: Path, node: TypePtr) -> PathId {
- PathId::from_type_ref_unchecked(self.alloc_type_ref(TypeRef::Path(path), node))
- }
-}