Mirrors/rust-analyzer
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer synced 2025-01-12 13:18:47 +00:00
Code Issues Projects Releases Packages Wiki Activity

"Finalize" Types grammar

Browse source 
Note that `for` type is rust-analyzer's own invention.
Both the reference and syn allow `for` only for fnptr types, and we
allow them everywhere. This needs to be checked with respect to type
bounds grammar...
This commit is contained in:
Aleksey Kladov 2020-07-31 14:40:28 +02:00
parent a6e45c6c69
commit a6527ed92c
3 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
crates/ra_hir_def/src/type_ref.rs
View file

@ -1,6 +1,5 @@
//! HIR for references to types. Paths in these are not yet resolved. They can
//! be directly created from an ast::TypeRef, without further queries.
use ra_syntax::ast::{self};
use crate::{body::LowerCtx, path::Path};

4
crates/ra_syntax/src/ast/generated/nodes.rs
View file

@ -605,8 +605,10 @@ pub struct FnPointerType {
pub(crate) syntax: SyntaxNode,
}
impl FnPointerType {
pub fn abi(&self) -> Option<Abi> { support::child(&self.syntax) }
pub fn const_token(&self) -> Option<SyntaxToken> { support::token(&self.syntax, T![const]) }
pub fn async_token(&self) -> Option<SyntaxToken> { support::token(&self.syntax, T![async]) }
pub fn unsafe_token(&self) -> Option<SyntaxToken> { support::token(&self.syntax, T![unsafe]) }
pub fn abi(&self) -> Option<Abi> { support::child(&self.syntax) }
pub fn fn_token(&self) -> Option<SyntaxToken> { support::token(&self.syntax, T![fn]) }
pub fn param_list(&self) -> Option<ParamList> { support::child(&self.syntax) }
pub fn ret_type(&self) -> Option<RetType> { support::child(&self.syntax) }

2
xtask/src/codegen/rust.ungram
View file

@ -231,7 +231,7 @@ InferType =
'_'
FnPointerType =
Abi 'unsafe'? 'fn' ParamList RetType?
'const'? 'async'? 'unsafe'? Abi? 'fn' ParamList RetType?
ForType =
'for' GenericParamList Type