aboutsummaryrefslogtreecommitdiff
path: root/crates/hir
diff options
context:
space:
mode:
authoroxalica <[email protected]>2021-03-14 09:36:04 +0000
committeroxalica <[email protected]>2021-03-15 17:02:33 +0000
commitb9c172a977135760006b6222820ac7240be67d58 (patch)
tree20a0f0357e739140357cb1b11d350a6088779f2f /crates/hir
parentef48d1ca3bfb512c245d9e9bdc73d0d5a5f79740 (diff)
Collect HirDisplay impls to a single file
Diffstat (limited to 'crates/hir')
-rw-r--r--crates/hir/src/display.rs25
-rw-r--r--crates/hir/src/lib.rs22
2 files changed, 27 insertions, 20 deletions
diff --git a/crates/hir/src/display.rs b/crates/hir/src/display.rs
new file mode 100644
index 000000000..86f48256e
--- /dev/null
+++ b/crates/hir/src/display.rs
@@ -0,0 +1,25 @@
1//! HirDisplay implementations for various hir types.
2use hir_ty::display::{
3 write_bounds_like_dyn_trait_with_prefix, HirDisplay, HirDisplayError, HirFormatter,
4};
5
6use crate::{Substs, Type, TypeParam};
7
8impl HirDisplay for Type {
9 fn hir_fmt(&self, f: &mut HirFormatter) -> Result<(), HirDisplayError> {
10 self.ty.value.hir_fmt(f)
11 }
12}
13
14impl HirDisplay for TypeParam {
15 fn hir_fmt(&self, f: &mut HirFormatter) -> Result<(), HirDisplayError> {
16 write!(f, "{}", self.name(f.db))?;
17 let bounds = f.db.generic_predicates_for_param(self.id);
18 let substs = Substs::type_params(f.db, self.id.parent);
19 let predicates = bounds.iter().cloned().map(|b| b.subst(&substs)).collect::<Vec<_>>();
20 if !(predicates.is_empty() || f.omit_verbose_types()) {
21 write_bounds_like_dyn_trait_with_prefix(":", &predicates, f)?;
22 }
23 Ok(())
24 }
25}
diff --git a/crates/hir/src/lib.rs b/crates/hir/src/lib.rs
index c5161dadd..469ed5b5e 100644
--- a/crates/hir/src/lib.rs
+++ b/crates/hir/src/lib.rs
@@ -29,6 +29,8 @@ mod has_source;
29pub mod diagnostics; 29pub mod diagnostics;
30pub mod db; 30pub mod db;
31 31
32mod display;
33
32use std::{iter, sync::Arc}; 34use std::{iter, sync::Arc};
33 35
34use arrayvec::ArrayVec; 36use arrayvec::ArrayVec;
@@ -50,7 +52,6 @@ use hir_def::{
50use hir_expand::{diagnostics::DiagnosticSink, name::name, MacroDefKind}; 52use hir_expand::{diagnostics::DiagnosticSink, name::name, MacroDefKind};
51use hir_ty::{ 53use hir_ty::{
52 autoderef, 54 autoderef,
53 display::{write_bounds_like_dyn_trait_with_prefix, HirDisplayError, HirFormatter},
54 method_resolution::{self, TyFingerprint}, 55 method_resolution::{self, TyFingerprint},
55 to_assoc_type_id, 56 to_assoc_type_id,
56 traits::{FnTrait, Solution, SolutionVariables}, 57 traits::{FnTrait, Solution, SolutionVariables},
@@ -1412,19 +1413,6 @@ impl TypeParam {
1412 } 1413 }
1413} 1414}
1414 1415
1415impl HirDisplay for TypeParam {
1416 fn hir_fmt(&self, f: &mut HirFormatter) -> Result<(), HirDisplayError> {
1417 write!(f, "{}", self.name(f.db))?;
1418 let bounds = f.db.generic_predicates_for_param(self.id);
1419 let substs = Substs::type_params(f.db, self.id.parent);
1420 let predicates = bounds.iter().cloned().map(|b| b.subst(&substs)).collect::<Vec<_>>();
1421 if !(predicates.is_empty() || f.omit_verbose_types()) {
1422 write_bounds_like_dyn_trait_with_prefix(":", &predicates, f)?;
1423 }
1424 Ok(())
1425 }
1426}
1427
1428#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)] 1416#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
1429pub struct LifetimeParam { 1417pub struct LifetimeParam {
1430 pub(crate) id: LifetimeParamId, 1418 pub(crate) id: LifetimeParamId,
@@ -2054,12 +2042,6 @@ impl Type {
2054 } 2042 }
2055} 2043}
2056 2044
2057impl HirDisplay for Type {
2058 fn hir_fmt(&self, f: &mut HirFormatter) -> Result<(), HirDisplayError> {
2059 self.ty.value.hir_fmt(f)
2060 }
2061}
2062
2063// FIXME: closures 2045// FIXME: closures
2064#[derive(Debug)] 2046#[derive(Debug)]
2065pub struct Callable { 2047pub struct Callable {