diff options
Diffstat (limited to 'crates/hir_ty/src/display.rs')
-rw-r--r-- | crates/hir_ty/src/display.rs | 20 |
1 files changed, 5 insertions, 15 deletions
diff --git a/crates/hir_ty/src/display.rs b/crates/hir_ty/src/display.rs index 4765c99a4..3845009ae 100644 --- a/crates/hir_ty/src/display.rs +++ b/crates/hir_ty/src/display.rs | |||
@@ -19,7 +19,7 @@ use hir_expand::name::Name; | |||
19 | use crate::{ | 19 | use crate::{ |
20 | db::HirDatabase, from_assoc_type_id, from_foreign_def_id, from_placeholder_idx, primitive, | 20 | db::HirDatabase, from_assoc_type_id, from_foreign_def_id, from_placeholder_idx, primitive, |
21 | to_assoc_type_id, traits::chalk::from_chalk, utils::generics, AdtId, AliasEq, AliasTy, | 21 | to_assoc_type_id, traits::chalk::from_chalk, utils::generics, AdtId, AliasEq, AliasTy, |
22 | CallableDefId, CallableSig, ImplTraitId, Interner, Lifetime, Obligation, OpaqueTy, | 22 | CallableDefId, CallableSig, DomainGoal, ImplTraitId, Interner, Lifetime, OpaqueTy, |
23 | ProjectionTy, Scalar, Substitution, TraitRef, Ty, TyKind, WhereClause, | 23 | ProjectionTy, Scalar, Substitution, TraitRef, Ty, TyKind, WhereClause, |
24 | }; | 24 | }; |
25 | 25 | ||
@@ -805,22 +805,12 @@ impl HirDisplay for Lifetime { | |||
805 | } | 805 | } |
806 | } | 806 | } |
807 | 807 | ||
808 | impl HirDisplay for Obligation { | 808 | impl HirDisplay for DomainGoal { |
809 | fn hir_fmt(&self, f: &mut HirFormatter) -> Result<(), HirDisplayError> { | 809 | fn hir_fmt(&self, f: &mut HirFormatter) -> Result<(), HirDisplayError> { |
810 | match self { | 810 | match self { |
811 | Obligation::Trait(tr) => { | 811 | DomainGoal::Holds(wc) => { |
812 | write!(f, "Implements(")?; | 812 | write!(f, "Holds(")?; |
813 | tr.hir_fmt(f)?; | 813 | wc.hir_fmt(f)?; |
814 | write!(f, ")") | ||
815 | } | ||
816 | Obligation::AliasEq(AliasEq { alias, ty }) => { | ||
817 | write!(f, "Normalize(")?; | ||
818 | match alias { | ||
819 | AliasTy::Projection(projection_ty) => projection_ty.hir_fmt(f)?, | ||
820 | AliasTy::Opaque(opaque) => opaque.hir_fmt(f)?, | ||
821 | } | ||
822 | write!(f, " => ")?; | ||
823 | ty.hir_fmt(f)?; | ||
824 | write!(f, ")") | 814 | write!(f, ")") |
825 | } | 815 | } |
826 | } | 816 | } |