Rollup merge of rust-lang#89990 - petrochenkov:idempty, r=wesleywiser

matthiaskrgr · web-flow · commit 5ce733aae858 · 2021-10-18T00:46:25.000+02:00
rustc_span: `Ident::invalid` -&gt; `Ident::empty`

The equivalent for `Symbol`s was renamed some time ago (`kw::Invalid` -&gt; `kw::Empty`), and it makes sense to do the same thing for `Ident`s as well.
diff --git a/compiler/rustc_ast/src/attr/mod.rs b/compiler/rustc_ast/src/attr/mod.rs
@@ -62,7 +62,7 @@ impl NestedMetaItem {
         self.meta_item().and_then(|meta_item| meta_item.ident())
     }
     pub fn name_or_empty(&self) -> Symbol {
-        self.ident().unwrap_or_else(Ident::invalid).name
+        self.ident().unwrap_or_else(Ident::empty).name
     }
 
     /// Gets the string value if `self` is a `MetaItem` and the `MetaItem` is a
@@ -131,7 +131,7 @@ impl Attribute {
         }
     }
     pub fn name_or_empty(&self) -> Symbol {
-        self.ident().unwrap_or_else(Ident::invalid).name
+        self.ident().unwrap_or_else(Ident::empty).name
     }
 
     pub fn value_str(&self) -> Option<Symbol> {
@@ -166,7 +166,7 @@ impl MetaItem {
         if self.path.segments.len() == 1 { Some(self.path.segments[0].ident) } else { None }
     }
     pub fn name_or_empty(&self) -> Symbol {
-        self.ident().unwrap_or_else(Ident::invalid).name
+        self.ident().unwrap_or_else(Ident::empty).name
     }
 
     // Example:
diff --git a/compiler/rustc_ast/src/mut_visit.rs b/compiler/rustc_ast/src/mut_visit.rs
@@ -1060,7 +1060,7 @@ pub fn noop_visit_crate<T: MutVisitor>(krate: &mut Crate, vis: &mut T) {
         let item_vis =
             Visibility { kind: VisibilityKind::Public, span: span.shrink_to_lo(), tokens: None };
         let item = P(Item {
-            ident: Ident::invalid(),
+            ident: Ident::empty(),
             attrs,
             id: DUMMY_NODE_ID,
             vis: item_vis,
diff --git a/compiler/rustc_ast_lowering/src/lib.rs b/compiler/rustc_ast_lowering/src/lib.rs
@@ -1435,7 +1435,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
         trace!("registering opaque type with id {:#?}", opaque_ty_id);
         let opaque_ty_item = hir::Item {
             def_id: opaque_ty_id,
-            ident: Ident::invalid(),
+            ident: Ident::empty(),
             kind: opaque_ty_item_kind,
             vis: respan(self.lower_span(span.shrink_to_lo()), hir::VisibilityKind::Inherited),
             span: self.lower_span(opaque_ty_span),
diff --git a/compiler/rustc_builtin_macros/src/asm.rs b/compiler/rustc_builtin_macros/src/asm.rs
@@ -812,7 +812,7 @@ pub fn expand_global_asm<'cx>(
         Ok(args) => {
             if let Some(inline_asm) = expand_preparsed_asm(ecx, args) {
                 MacEager::items(smallvec![P(ast::Item {
-                    ident: Ident::invalid(),
+                    ident: Ident::empty(),
                     attrs: Vec::new(),
                     id: ast::DUMMY_NODE_ID,
                     kind: ast::ItemKind::GlobalAsm(inline_asm),
diff --git a/compiler/rustc_builtin_macros/src/derive.rs b/compiler/rustc_builtin_macros/src/derive.rs
@@ -85,7 +85,7 @@ impl MultiItemModifier for Expander {
 fn dummy_annotatable() -> Annotatable {
     Annotatable::GenericParam(ast::GenericParam {
         id: ast::DUMMY_NODE_ID,
-        ident: Ident::invalid(),
+        ident: Ident::empty(),
         attrs: Default::default(),
         bounds: Default::default(),
         is_placeholder: false,
diff --git a/compiler/rustc_builtin_macros/src/deriving/generic/mod.rs b/compiler/rustc_builtin_macros/src/deriving/generic/mod.rs
@@ -724,7 +724,7 @@ impl<'a> TraitDef<'a> {
 
         cx.item(
             self.span,
-            Ident::invalid(),
+            Ident::empty(),
             a,
             ast::ItemKind::Impl(Box::new(ast::ImplKind {
                 unsafety,
diff --git a/compiler/rustc_builtin_macros/src/deriving/mod.rs b/compiler/rustc_builtin_macros/src/deriving/mod.rs
@@ -178,7 +178,7 @@ fn inject_impl_of_structural_trait(
 
     let newitem = cx.item(
         span,
-        Ident::invalid(),
+        Ident::empty(),
         attrs,
         ItemKind::Impl(Box::new(ImplKind {
             unsafety: ast::Unsafe::No,
diff --git a/compiler/rustc_builtin_macros/src/standard_library_imports.rs b/compiler/rustc_builtin_macros/src/standard_library_imports.rs
@@ -77,7 +77,7 @@ pub fn inject(
 
     let use_item = cx.item(
         span,
-        Ident::invalid(),
+        Ident::empty(),
         vec![cx.attribute(cx.meta_word(span, sym::prelude_import))],
         ast::ItemKind::Use(ast::UseTree {
             prefix: cx.path(span, import_path),
diff --git a/compiler/rustc_expand/src/expand.rs b/compiler/rustc_expand/src/expand.rs
@@ -383,7 +383,7 @@ impl<'a, 'b> MacroExpander<'a, 'b> {
                 Unsafe::No,
                 ModKind::Loaded(krate.items, Inline::Yes, krate.span)
             ),
-            ident: Ident::invalid(),
+            ident: Ident::empty(),
             id: ast::DUMMY_NODE_ID,
             vis: ast::Visibility {
                 span: krate.span.shrink_to_lo(),
@@ -1426,7 +1426,7 @@ impl<'a, 'b> MutVisitor for InvocationCollector<'a, 'b> {
                     _ => unreachable!(),
                 })
             }
-            ast::ItemKind::Mod(_, ref mut mod_kind) if ident != Ident::invalid() => {
+            ast::ItemKind::Mod(_, ref mut mod_kind) if ident != Ident::empty() => {
                 let (file_path, dir_path, dir_ownership) = match mod_kind {
                     ModKind::Loaded(_, inline, _) => {
                         // Inline `mod foo { ... }`, but we still need to push directories.
@@ -1508,7 +1508,7 @@ impl<'a, 'b> MutVisitor for InvocationCollector<'a, 'b> {
             _ => {
                 item.attrs = attrs;
                 // The crate root is special - don't assign an ID to it.
-                if !(matches!(item.kind, ast::ItemKind::Mod(..)) && ident == Ident::invalid()) {
+                if !(matches!(item.kind, ast::ItemKind::Mod(..)) && ident == Ident::empty()) {
                     assign_id!(self, &mut item.id, || noop_flat_map_item(item, self))
                 } else {
                     noop_flat_map_item(item, self)
diff --git a/compiler/rustc_expand/src/mbe/quoted.rs b/compiler/rustc_expand/src/mbe/quoted.rs
@@ -204,7 +204,7 @@ fn parse_tree(
                         pprust::token_to_string(&token),
                     );
                     sess.span_diagnostic.span_err(token.span, &msg);
-                    TokenTree::MetaVar(token.span, Ident::invalid())
+                    TokenTree::MetaVar(token.span, Ident::empty())
                 }
 
                 // There are no more tokens. Just return the `$` we already have.
diff --git a/compiler/rustc_expand/src/placeholders.rs b/compiler/rustc_expand/src/placeholders.rs
@@ -23,7 +23,7 @@ pub fn placeholder(
         }
     }
 
-    let ident = Ident::invalid();
+    let ident = Ident::empty();
     let attrs = Vec::new();
     let vis = vis.unwrap_or(ast::Visibility {
         span: DUMMY_SP,
diff --git a/compiler/rustc_hir/src/hir.rs b/compiler/rustc_hir/src/hir.rs
@@ -121,7 +121,7 @@ impl LifetimeName {
         match *self {
             LifetimeName::ImplicitObjectLifetimeDefault
             | LifetimeName::Implicit
-            | LifetimeName::Error => Ident::invalid(),
+            | LifetimeName::Error => Ident::empty(),
             LifetimeName::Underscore => Ident::with_dummy_span(kw::UnderscoreLifetime),
             LifetimeName::Static => Ident::with_dummy_span(kw::StaticLifetime),
             LifetimeName::Param(param_name) => param_name.ident(),
@@ -233,7 +233,7 @@ impl<'hir> PathSegment<'hir> {
     }
 
     pub fn invalid() -> Self {
-        Self::from_ident(Ident::invalid())
+        Self::from_ident(Ident::empty())
     }
 
     pub fn args(&self) -> &GenericArgs<'hir> {
@@ -310,7 +310,7 @@ impl GenericArg<'_> {
     }
 
     pub fn is_synthetic(&self) -> bool {
-        matches!(self, GenericArg::Lifetime(lifetime) if lifetime.name.ident() == Ident::invalid())
+        matches!(self, GenericArg::Lifetime(lifetime) if lifetime.name.ident() == Ident::empty())
     }
 
     pub fn descr(&self) -> &'static str {
diff --git a/compiler/rustc_middle/src/hir/map/mod.rs b/compiler/rustc_middle/src/hir/map/mod.rs
@@ -443,7 +443,7 @@ impl<'hir> Map<'hir> {
     pub fn body_param_names(&self, id: BodyId) -> impl Iterator<Item = Ident> + 'hir {
         self.body(id).params.iter().map(|arg| match arg.pat.kind {
             PatKind::Binding(_, _, ident, _) => ident,
-            _ => Ident::new(kw::Empty, rustc_span::DUMMY_SP),
+            _ => Ident::empty(),
         })
     }
 
diff --git a/compiler/rustc_parse/src/parser/item.rs b/compiler/rustc_parse/src/parser/item.rs
@@ -216,7 +216,7 @@ impl<'a> Parser<'a> {
                 return Err(e);
             }
 
-            (Ident::invalid(), ItemKind::Use(tree))
+            (Ident::empty(), ItemKind::Use(tree))
         } else if self.check_fn_front_matter(def_final) {
             // FUNCTION ITEM
             let (ident, sig, generics, body) = self.parse_fn(attrs, req_name, lo)?;
@@ -287,7 +287,7 @@ impl<'a> Parser<'a> {
             return Ok(None);
         } else if macros_allowed && self.check_path() {
             // MACRO INVOCATION ITEM
-            (Ident::invalid(), ItemKind::MacCall(self.parse_item_macro(vis)?))
+            (Ident::empty(), ItemKind::MacCall(self.parse_item_macro(vis)?))
         } else {
             return Ok(None);
         };
@@ -586,7 +586,7 @@ impl<'a> Parser<'a> {
             }
         };
 
-        Ok((Ident::invalid(), item_kind))
+        Ok((Ident::empty(), item_kind))
     }
 
     fn parse_item_list<T>(
@@ -933,7 +933,7 @@ impl<'a> Parser<'a> {
         let abi = self.parse_abi(); // ABI?
         let items = self.parse_item_list(attrs, |p| p.parse_foreign_item(ForceCollect::No))?;
         let module = ast::ForeignMod { unsafety, abi, items };
-        Ok((Ident::invalid(), ItemKind::ForeignMod(module)))
+        Ok((Ident::empty(), ItemKind::ForeignMod(module)))
     }
 
     /// Parses a foreign item (one in an `extern { ... }` block).
diff --git a/compiler/rustc_resolve/src/diagnostics.rs b/compiler/rustc_resolve/src/diagnostics.rs
@@ -1327,7 +1327,7 @@ impl<'a, 'b> ImportResolver<'a, 'b> {
                 if fst.ident.span.rust_2018() && !fst.ident.is_path_segment_keyword() =>
             {
                 // Insert a placeholder that's later replaced by `self`/`super`/etc.
-                path.insert(0, Segment::from_ident(Ident::invalid()));
+                path.insert(0, Segment::from_ident(Ident::empty()));
             }
             _ => return None,
         }
diff --git a/compiler/rustc_resolve/src/imports.rs b/compiler/rustc_resolve/src/imports.rs
@@ -978,7 +978,7 @@ impl<'a, 'b> ImportResolver<'a, 'b> {
                     // HACK(eddyb) `lint_if_path_starts_with_module` needs at least
                     // 2 segments, so the `resolve_path` above won't trigger it.
                     let mut full_path = import.module_path.clone();
-                    full_path.push(Segment::from_ident(Ident::invalid()));
+                    full_path.push(Segment::from_ident(Ident::empty()));
                     self.r.lint_if_path_starts_with_module(
                         import.crate_lint(),
                         &full_path,
diff --git a/compiler/rustc_span/src/symbol.rs b/compiler/rustc_span/src/symbol.rs
@@ -1453,7 +1453,7 @@ impl Ident {
     }
 
     #[inline]
-    pub fn invalid() -> Ident {
+    pub fn empty() -> Ident {
         Ident::with_dummy_span(kw::Empty)
     }
 
diff --git a/src/tools/clippy/tests/ui-internal/unnecessary_symbol_str.fixed b/src/tools/clippy/tests/ui-internal/unnecessary_symbol_str.fixed
@@ -11,6 +11,6 @@ fn main() {
     Symbol::intern("foo") == rustc_span::sym::clippy;
     Symbol::intern("foo") == rustc_span::symbol::kw::SelfLower;
     Symbol::intern("foo") != rustc_span::symbol::kw::SelfUpper;
-    Ident::invalid().name == rustc_span::sym::clippy;
-    rustc_span::sym::clippy == Ident::invalid().name;
+    Ident::empty().name == rustc_span::sym::clippy;
+    rustc_span::sym::clippy == Ident::empty().name;
 }
diff --git a/src/tools/clippy/tests/ui-internal/unnecessary_symbol_str.rs b/src/tools/clippy/tests/ui-internal/unnecessary_symbol_str.rs
@@ -11,6 +11,6 @@ fn main() {
     Symbol::intern("foo").as_str() == "clippy";
     Symbol::intern("foo").to_string() == "self";
     Symbol::intern("foo").to_ident_string() != "Self";
-    &*Ident::invalid().as_str() == "clippy";
-    "clippy" == Ident::invalid().to_string();
+    &*Ident::empty().as_str() == "clippy";
+    "clippy" == Ident::empty().to_string();
 }
diff --git a/src/tools/clippy/tests/ui-internal/unnecessary_symbol_str.stderr b/src/tools/clippy/tests/ui-internal/unnecessary_symbol_str.stderr
@@ -26,14 +26,13 @@ LL |     Symbol::intern("foo").to_ident_string() != "Self";
 error: unnecessary `Symbol` to string conversion
   --> $DIR/unnecessary_symbol_str.rs:14:5
    |
-LL |     &*Ident::invalid().as_str() == "clippy";
-   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `Ident::invalid().name == rustc_span::sym::clippy`
+LL |     &*Ident::empty().as_str() == "clippy";
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `Ident::empty().name == rustc_span::sym::clippy`
 
 error: unnecessary `Symbol` to string conversion
   --> $DIR/unnecessary_symbol_str.rs:15:5
    |
-LL |     "clippy" == Ident::invalid().to_string();
-   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `rustc_span::sym::clippy == Ident::invalid().name`
+LL |     "clippy" == Ident::empty().to_string();
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ help: try: `rustc_span::sym::clippy == Ident::empty().name`
 
 error: aborting due to 5 previous errors
-

Original file line number	Diff line number	Diff line change
`@@ -62,7 +62,7 @@ impl NestedMetaItem {`
`62`	`62`	`self.meta_item().and_then(\|meta_item\| meta_item.ident())`
`63`	`63`	`}`
`64`	`64`	`pub fn name_or_empty(&self) -> Symbol {`
`65`		`- self.ident().unwrap_or_else(Ident::invalid).name`
	`65`	`+ self.ident().unwrap_or_else(Ident::empty).name`
`66`	`66`	`}`
`67`	`67`
`68`	`68`	/// Gets the string value if `self` is a `MetaItem` and the `MetaItem` is a
`@@ -131,7 +131,7 @@ impl Attribute {`
`131`	`131`	`}`
`132`	`132`	`}`
`133`	`133`	`pub fn name_or_empty(&self) -> Symbol {`
`134`		`- self.ident().unwrap_or_else(Ident::invalid).name`
	`134`	`+ self.ident().unwrap_or_else(Ident::empty).name`
`135`	`135`	`}`
`136`	`136`
`137`	`137`	`pub fn value_str(&self) -> Option<Symbol> {`
`@@ -166,7 +166,7 @@ impl MetaItem {`
`166`	`166`	`if self.path.segments.len() == 1 { Some(self.path.segments[0].ident) } else { None }`
`167`	`167`	`}`
`168`	`168`	`pub fn name_or_empty(&self) -> Symbol {`
`169`		`- self.ident().unwrap_or_else(Ident::invalid).name`
	`169`	`+ self.ident().unwrap_or_else(Ident::empty).name`
`170`	`170`	`}`
`171`	`171`
`172`	`172`	`// Example:`
Original file line number	Diff line number	Diff line change
`@@ -204,7 +204,7 @@ fn parse_tree(`
`204`	`204`	`pprust::token_to_string(&token),`
`205`	`205`	`);`
`206`	`206`	`sess.span_diagnostic.span_err(token.span, &msg);`
`207`		`- TokenTree::MetaVar(token.span, Ident::invalid())`
	`207`	`+ TokenTree::MetaVar(token.span, Ident::empty())`
`208`	`208`	`}`
`209`	`209`
`210`	`210`	// There are no more tokens. Just return the `$` we already have.
Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ pub fn placeholder(`
`23`	`23`	`}`
`24`	`24`	`}`
`25`	`25`
`26`		`- let ident = Ident::invalid();`
	`26`	`+ let ident = Ident::empty();`
`27`	`27`	`let attrs = Vec::new();`
`28`	`28`	`let vis = vis.unwrap_or(ast::Visibility {`
`29`	`29`	`span: DUMMY_SP,`
Original file line number	Diff line number	Diff line change
`@@ -121,7 +121,7 @@ impl LifetimeName {`
`121`	`121`	`match *self {`
`122`	`122`	`LifetimeName::ImplicitObjectLifetimeDefault`
`123`	`123`	`\| LifetimeName::Implicit`
`124`		`- \| LifetimeName::Error => Ident::invalid(),`
	`124`	`+ \| LifetimeName::Error => Ident::empty(),`
`125`	`125`	`LifetimeName::Underscore => Ident::with_dummy_span(kw::UnderscoreLifetime),`
`126`	`126`	`LifetimeName::Static => Ident::with_dummy_span(kw::StaticLifetime),`
`127`	`127`	`LifetimeName::Param(param_name) => param_name.ident(),`
`@@ -233,7 +233,7 @@ impl<'hir> PathSegment<'hir> {`
`233`	`233`	`}`
`234`	`234`
`235`	`235`	`pub fn invalid() -> Self {`
`236`		`- Self::from_ident(Ident::invalid())`
	`236`	`+ Self::from_ident(Ident::empty())`
`237`	`237`	`}`
`238`	`238`
`239`	`239`	`pub fn args(&self) -> &GenericArgs<'hir> {`
`@@ -310,7 +310,7 @@ impl GenericArg<'_> {`
`310`	`310`	`}`
`311`	`311`
`312`	`312`	`pub fn is_synthetic(&self) -> bool {`
`313`		`- matches!(self, GenericArg::Lifetime(lifetime) if lifetime.name.ident() == Ident::invalid())`
	`313`	`+ matches!(self, GenericArg::Lifetime(lifetime) if lifetime.name.ident() == Ident::empty())`
`314`	`314`	`}`
`315`	`315`
`316`	`316`	`pub fn descr(&self) -> &'static str {`
Original file line number	Diff line number	Diff line change
`@@ -443,7 +443,7 @@ impl<'hir> Map<'hir> {`
`443`	`443`	`pub fn body_param_names(&self, id: BodyId) -> impl Iterator<Item = Ident> + 'hir {`
`444`	`444`	`self.body(id).params.iter().map(\|arg\| match arg.pat.kind {`
`445`	`445`	`PatKind::Binding(_, _, ident, _) => ident,`
`446`		`- _ => Ident::new(kw::Empty, rustc_span::DUMMY_SP),`
	`446`	`+ _ => Ident::empty(),`
`447`	`447`	`})`
`448`	`448`	`}`
`449`	`449`
Original file line number	Diff line number	Diff line change
`@@ -1327,7 +1327,7 @@ impl<'a, 'b> ImportResolver<'a, 'b> {`
`1327`	`1327`	`if fst.ident.span.rust_2018() && !fst.ident.is_path_segment_keyword() =>`
`1328`	`1328`	`{`
`1329`	`1329`	// Insert a placeholder that's later replaced by `self`/`super`/etc.
`1330`		`- path.insert(0, Segment::from_ident(Ident::invalid()));`
	`1330`	`+ path.insert(0, Segment::from_ident(Ident::empty()));`
`1331`	`1331`	`}`
`1332`	`1332`	`_ => return None,`
`1333`	`1333`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1453,7 +1453,7 @@ impl Ident {`
`1453`	`1453`	`}`
`1454`	`1454`
`1455`	`1455`	`#[inline]`
`1456`		`- pub fn invalid() -> Ident {`
	`1456`	`+ pub fn empty() -> Ident {`
`1457`	`1457`	`Ident::with_dummy_span(kw::Empty)`
`1458`	`1458`	`}`
`1459`	`1459`
Original file line number	Diff line number	Diff line change
`@@ -11,6 +11,6 @@ fn main() {`
`11`	`11`	`Symbol::intern("foo") == rustc_span::sym::clippy;`
`12`	`12`	`Symbol::intern("foo") == rustc_span::symbol::kw::SelfLower;`
`13`	`13`	`Symbol::intern("foo") != rustc_span::symbol::kw::SelfUpper;`
`14`		`- Ident::invalid().name == rustc_span::sym::clippy;`
`15`		`- rustc_span::sym::clippy == Ident::invalid().name;`
	`14`	`+ Ident::empty().name == rustc_span::sym::clippy;`
	`15`	`+ rustc_span::sym::clippy == Ident::empty().name;`
`16`	`16`	`}`