Skip to content

Commit b5933c8

Browse files
committed
Rename Token::is_reserved_ident as Token::is_reserved.
To match `Ident::is_reserved`, and to facilitate the next commit.
1 parent 0c46eb5 commit b5933c8

File tree

8 files changed

+16
-18
lines changed

8 files changed

+16
-18
lines changed

compiler/rustc_ast/src/token.rs

+5-5
Original file line numberDiff line numberDiff line change
@@ -292,7 +292,7 @@ impl LitKind {
292292
pub fn ident_can_begin_expr(name: Symbol, span: Span, is_raw: IdentIsRaw) -> bool {
293293
let ident_token = Token::new(Ident(name, is_raw), span);
294294

295-
!ident_token.is_reserved_ident()
295+
!ident_token.is_reserved()
296296
|| ident_token.is_path_segment_keyword()
297297
|| [
298298
kw::Async,
@@ -324,7 +324,7 @@ pub fn ident_can_begin_expr(name: Symbol, span: Span, is_raw: IdentIsRaw) -> boo
324324
fn ident_can_begin_type(name: Symbol, span: Span, is_raw: IdentIsRaw) -> bool {
325325
let ident_token = Token::new(Ident(name, is_raw), span);
326326

327-
!ident_token.is_reserved_ident()
327+
!ident_token.is_reserved()
328328
|| ident_token.is_path_segment_keyword()
329329
|| [sym::underscore, kw::For, kw::Impl, kw::Fn, kw::Unsafe, kw::Extern, kw::Typeof, kw::Dyn]
330330
.contains(&name)
@@ -896,7 +896,7 @@ impl Token {
896896
|| self.is_qpath_start()
897897
|| self.is_whole_path()
898898
|| self.is_path_segment_keyword()
899-
|| self.is_ident() && !self.is_reserved_ident()
899+
|| self.is_ident() && !self.is_reserved()
900900
}
901901

902902
/// Returns `true` if the token is a given keyword, `kw`.
@@ -937,8 +937,8 @@ impl Token {
937937
self.is_non_raw_ident_where(Ident::is_unused_keyword)
938938
}
939939

940-
/// Returns `true` if the token is either a special identifier or a keyword.
941-
pub fn is_reserved_ident(&self) -> bool {
940+
/// Returns `true` if the token is either a reserved identifier or a keyword.
941+
pub fn is_reserved(&self) -> bool {
942942
self.is_non_raw_ident_where(Ident::is_reserved)
943943
}
944944

compiler/rustc_ast/src/tokenstream.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -369,9 +369,9 @@ impl TokenStream {
369369
(
370370
TokenTree::Token(token_left, Spacing::Alone),
371371
TokenTree::Token(token_right, _),
372-
) if ((token_left.is_ident() && !token_left.is_reserved_ident())
372+
) if ((token_left.is_ident() && !token_left.is_reserved())
373373
|| token_left.is_lit())
374-
&& ((token_right.is_ident() && !token_right.is_reserved_ident())
374+
&& ((token_right.is_ident() && !token_right.is_reserved())
375375
|| token_right.is_lit()) =>
376376
{
377377
token_left.span

compiler/rustc_parse/src/parser/diagnostics.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -2789,7 +2789,7 @@ impl<'a> Parser<'a> {
27892789
return first_pat;
27902790
}
27912791
if !matches!(first_pat.kind, PatKind::Ident(_, _, None) | PatKind::Path(..))
2792-
|| !self.look_ahead(1, |token| token.is_ident() && !token.is_reserved_ident())
2792+
|| !self.look_ahead(1, |token| token.is_ident() && !token.is_reserved())
27932793
{
27942794
let mut snapshot_type = self.create_snapshot_for_diagnostic();
27952795
snapshot_type.bump(); // `:`

compiler/rustc_parse/src/parser/expr.rs

+2-2
Original file line numberDiff line numberDiff line change
@@ -3601,7 +3601,7 @@ impl<'a> Parser<'a> {
36013601
}
36023602

36033603
if let Some((ident, _)) = self.token.ident()
3604-
&& !self.token.is_reserved_ident()
3604+
&& !self.token.is_reserved()
36053605
&& self.look_ahead(1, |t| {
36063606
AssocOp::from_token(t).is_some()
36073607
|| matches!(
@@ -3764,7 +3764,7 @@ impl<'a> Parser<'a> {
37643764
let is_shorthand = !this.look_ahead(1, |t| t == &token::Colon || t == &token::Eq);
37653765
// Proactively check whether parsing the field will be incorrect.
37663766
let is_wrong = this.token.is_ident()
3767-
&& !this.token.is_reserved_ident()
3767+
&& !this.token.is_reserved()
37683768
&& !this.look_ahead(1, |t| {
37693769
t == &token::Colon
37703770
|| t == &token::Eq

compiler/rustc_parse/src/parser/mod.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -722,7 +722,7 @@ impl<'a> Parser<'a> {
722722

723723
/// Is the given keyword `kw` followed by a non-reserved identifier?
724724
fn is_kw_followed_by_ident(&self, kw: Symbol) -> bool {
725-
self.token.is_keyword(kw) && self.look_ahead(1, |t| t.is_ident() && !t.is_reserved_ident())
725+
self.token.is_keyword(kw) && self.look_ahead(1, |t| t.is_ident() && !t.is_reserved())
726726
}
727727

728728
#[inline]

compiler/rustc_parse/src/parser/pat.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -178,7 +178,7 @@ impl<'a> Parser<'a> {
178178
let mut first_pat = match self.parse_pat_no_top_alt(expected, syntax_loc) {
179179
Ok(pat) => pat,
180180
Err(err)
181-
if self.token.is_reserved_ident()
181+
if self.token.is_reserved()
182182
&& !self.token.is_keyword(kw::In)
183183
&& !self.token.is_keyword(kw::If) =>
184184
{

compiler/rustc_parse/src/parser/path.rs

+3-5
Original file line numberDiff line numberDiff line change
@@ -124,7 +124,7 @@ impl<'a> Parser<'a> {
124124
/// ```
125125
fn recover_colon_before_qpath_proj(&mut self) -> bool {
126126
if !self.check_noexpect(&TokenKind::Colon)
127-
|| self.look_ahead(1, |t| !t.is_ident() || t.is_reserved_ident())
127+
|| self.look_ahead(1, |t| !t.is_ident() || t.is_reserved())
128128
{
129129
return false;
130130
}
@@ -251,7 +251,7 @@ impl<'a> Parser<'a> {
251251
if style == PathStyle::Expr
252252
&& self.may_recover()
253253
&& self.token == token::Colon
254-
&& self.look_ahead(1, |token| token.is_ident() && !token.is_reserved_ident())
254+
&& self.look_ahead(1, |token| token.is_ident() && !token.is_reserved())
255255
{
256256
// Emit a special error message for `a::b:c` to help users
257257
// otherwise, `a: c` might have meant to introduce a new binding
@@ -334,9 +334,7 @@ impl<'a> Parser<'a> {
334334
self.expect_gt().map_err(|mut err| {
335335
// Try to recover a `:` into a `::`
336336
if self.token == token::Colon
337-
&& self.look_ahead(1, |token| {
338-
token.is_ident() && !token.is_reserved_ident()
339-
})
337+
&& self.look_ahead(1, |token| token.is_ident() && !token.is_reserved())
340338
{
341339
err.cancel();
342340
err = self.dcx().create_err(PathSingleColon {

compiler/rustc_parse/src/parser/ty.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -803,7 +803,7 @@ impl<'a> Parser<'a> {
803803
while self.can_begin_bound()
804804
|| (self.may_recover()
805805
&& (self.token.can_begin_type()
806-
|| (self.token.is_reserved_ident() && !self.token.is_keyword(kw::Where))))
806+
|| (self.token.is_reserved() && !self.token.is_keyword(kw::Where))))
807807
{
808808
if self.token.is_keyword(kw::Dyn) {
809809
// Account for `&dyn Trait + dyn Other`.

0 commit comments

Comments
 (0)