remove fn is_alias

tiif · tiif · commit 33d8a4837344 · 2025-08-15T14:00:10.000+02:00
diff --git a/crates/formality-types/src/grammar/ty.rs b/crates/formality-types/src/grammar/ty.rs
@@ -40,10 +40,6 @@ impl Ty {
         }
     }
 
-    pub fn is_alias(&self) -> bool {
-        matches!(self.data(), TyData::AliasTy(_))
-    }
-
     pub fn rigid(name: impl Upcast<RigidName>, parameters: impl Upcast<Vec<Parameter>>) -> Self {
         RigidTy {
             name: name.upcast(),

Original file line number	Diff line number	Diff line change
`@@ -40,10 +40,6 @@ impl Ty {`
`40`	`40`	`}`
`41`	`41`	`}`
`42`	`42`
`43`		`- pub fn is_alias(&self) -> bool {`
`44`		`- matches!(self.data(), TyData::AliasTy(_))`
`45`		`- }`
`46`		`-`
`47`	`43`	`pub fn rigid(name: impl Upcast<RigidName>, parameters: impl Upcast<Vec<Parameter>>) -> Self {`
`48`	`44`	`RigidTy {`
`49`	`45`	`name: name.upcast(),`