update grammer to support associated const equality

xffxff · xffxff · commit bdecd9374e02 · 2022-04-17T12:03:52.000+08:00
diff --git a/crates/syntax/rust.ungram b/crates/syntax/rust.ungram
@@ -51,7 +51,7 @@ TypeArg =
   Type
 
 AssocTypeArg =
-  NameRef GenericParamList? (':' TypeBoundList | '=' Type)
+  NameRef GenericParamList? (':' TypeBoundList | ('=' Type | ConstArg))
 
 LifetimeArg =
   Lifetime
diff --git a/crates/syntax/src/ast/generated/nodes.rs b/crates/syntax/src/ast/generated/nodes.rs
@@ -123,6 +123,7 @@ impl AssocTypeArg {
     pub fn generic_param_list(&self) -> Option<GenericParamList> { support::child(&self.syntax) }
     pub fn eq_token(&self) -> Option<SyntaxToken> { support::token(&self.syntax, T![=]) }
     pub fn ty(&self) -> Option<Type> { support::child(&self.syntax) }
+    pub fn const_arg(&self) -> Option<ConstArg> { support::child(&self.syntax) }
 }
 
 #[derive(Debug, Clone, PartialEq, Eq, Hash)]

Original file line number	Diff line number	Diff line change
`@@ -123,6 +123,7 @@ impl AssocTypeArg {`
`123`	`123`	`pub fn generic_param_list(&self) -> Option<GenericParamList> { support::child(&self.syntax) }`
`124`	`124`	`pub fn eq_token(&self) -> Option<SyntaxToken> { support::token(&self.syntax, T![=]) }`
`125`	`125`	`pub fn ty(&self) -> Option<Type> { support::child(&self.syntax) }`
	`126`	`+ pub fn const_arg(&self) -> Option<ConstArg> { support::child(&self.syntax) }`
`126`	`127`	`}`
`127`	`128`
`128`	`129`	`#[derive(Debug, Clone, PartialEq, Eq, Hash)]`