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