mirror of
https://github.com/rust-lang/rust.git
synced 2025-04-28 19:17:43 +00:00
Auto merge of #65433 - Centril:rollup-rzvry15, r=Centril
Rollup of 4 pull requests Successful merges: - #64035 (Stabilize proc macros generating `macro_rules` items) - #65376 (syntax: misc extractions) - #65426 (Remove custom `PartialEq` impls for `LocalInternedString`.) - #65428 (Refactor: Rename `db` locals to `diag`) Failed merges: r? @ghost
This commit is contained in:
commit
237d54ff6c
@ -67,11 +67,11 @@ use syntax::errors;
|
|||||||
use syntax::ext::base::SpecialDerives;
|
use syntax::ext::base::SpecialDerives;
|
||||||
use syntax::ext::hygiene::ExpnId;
|
use syntax::ext::hygiene::ExpnId;
|
||||||
use syntax::print::pprust;
|
use syntax::print::pprust;
|
||||||
use syntax::source_map::{respan, ExpnData, ExpnKind, DesugaringKind, Spanned};
|
|
||||||
use syntax::symbol::{kw, sym, Symbol};
|
|
||||||
use syntax::tokenstream::{TokenStream, TokenTree};
|
use syntax::tokenstream::{TokenStream, TokenTree};
|
||||||
use syntax::parse::token::{self, Nonterminal, Token};
|
use syntax::parse::token::{self, Nonterminal, Token};
|
||||||
use syntax::parse::ParseSess;
|
use syntax::sess::ParseSess;
|
||||||
|
use syntax::source_map::{respan, ExpnData, ExpnKind, DesugaringKind, Spanned};
|
||||||
|
use syntax::symbol::{kw, sym, Symbol};
|
||||||
use syntax::visit::{self, Visitor};
|
use syntax::visit::{self, Visitor};
|
||||||
use syntax_pos::Span;
|
use syntax_pos::Span;
|
||||||
|
|
||||||
|
@ -1,10 +1,10 @@
|
|||||||
use rustc_target::spec::abi::Abi;
|
use rustc_target::spec::abi::Abi;
|
||||||
use syntax::ast;
|
use syntax::ast;
|
||||||
use syntax::source_map::{SourceMap, Spanned};
|
use syntax::source_map::{SourceMap, Spanned};
|
||||||
use syntax::parse::ParseSess;
|
|
||||||
use syntax::print::pp::{self, Breaks};
|
use syntax::print::pp::{self, Breaks};
|
||||||
use syntax::print::pp::Breaks::{Consistent, Inconsistent};
|
use syntax::print::pp::Breaks::{Consistent, Inconsistent};
|
||||||
use syntax::print::pprust::{self, Comments, PrintState};
|
use syntax::print::pprust::{self, Comments, PrintState};
|
||||||
|
use syntax::sess::ParseSess;
|
||||||
use syntax::symbol::kw;
|
use syntax::symbol::kw;
|
||||||
use syntax::util::parser::{self, AssocOp, Fixity};
|
use syntax::util::parser::{self, AssocOp, Fixity};
|
||||||
use syntax_pos::{self, BytePos, FileName};
|
use syntax_pos::{self, BytePos, FileName};
|
||||||
|
@ -56,7 +56,7 @@
|
|||||||
#![feature(test)]
|
#![feature(test)]
|
||||||
#![feature(in_band_lifetimes)]
|
#![feature(in_band_lifetimes)]
|
||||||
#![feature(crate_visibility_modifier)]
|
#![feature(crate_visibility_modifier)]
|
||||||
#![feature(proc_macro_hygiene)]
|
#![cfg_attr(bootstrap, feature(proc_macro_hygiene))]
|
||||||
#![feature(log_syntax)]
|
#![feature(log_syntax)]
|
||||||
#![feature(associated_type_bounds)]
|
#![feature(associated_type_bounds)]
|
||||||
#![feature(rustc_attrs)]
|
#![feature(rustc_attrs)]
|
||||||
|
@ -16,8 +16,9 @@ use syntax;
|
|||||||
use syntax::ast::{self, IntTy, UintTy, MetaItemKind};
|
use syntax::ast::{self, IntTy, UintTy, MetaItemKind};
|
||||||
use syntax::source_map::{FileName, FilePathMapping};
|
use syntax::source_map::{FileName, FilePathMapping};
|
||||||
use syntax::edition::{Edition, EDITION_NAME_LIST, DEFAULT_EDITION};
|
use syntax::edition::{Edition, EDITION_NAME_LIST, DEFAULT_EDITION};
|
||||||
use syntax::parse::{ParseSess, new_parser_from_source_str};
|
use syntax::parse::new_parser_from_source_str;
|
||||||
use syntax::parse::token;
|
use syntax::parse::token;
|
||||||
|
use syntax::sess::ParseSess;
|
||||||
use syntax::symbol::{sym, Symbol};
|
use syntax::symbol::{sym, Symbol};
|
||||||
use syntax::feature_gate::UnstableFeatures;
|
use syntax::feature_gate::UnstableFeatures;
|
||||||
use syntax::source_map::SourceMap;
|
use syntax::source_map::SourceMap;
|
||||||
|
@ -28,7 +28,7 @@ use syntax::ext::allocator::AllocatorKind;
|
|||||||
use syntax::feature_gate::{self, AttributeType};
|
use syntax::feature_gate::{self, AttributeType};
|
||||||
use syntax::json::JsonEmitter;
|
use syntax::json::JsonEmitter;
|
||||||
use syntax::source_map;
|
use syntax::source_map;
|
||||||
use syntax::parse::{self, ParseSess};
|
use syntax::sess::ParseSess;
|
||||||
use syntax::symbol::Symbol;
|
use syntax::symbol::Symbol;
|
||||||
use syntax_pos::{MultiSpan, Span};
|
use syntax_pos::{MultiSpan, Span};
|
||||||
use crate::util::profiling::{SelfProfiler, SelfProfilerRef};
|
use crate::util::profiling::{SelfProfiler, SelfProfilerRef};
|
||||||
@ -1159,7 +1159,7 @@ fn build_session_(
|
|||||||
);
|
);
|
||||||
let target_cfg = config::build_target_config(&sopts, &span_diagnostic);
|
let target_cfg = config::build_target_config(&sopts, &span_diagnostic);
|
||||||
|
|
||||||
let parse_sess = parse::ParseSess::with_span_handler(
|
let parse_sess = ParseSess::with_span_handler(
|
||||||
span_diagnostic,
|
span_diagnostic,
|
||||||
source_map,
|
source_map,
|
||||||
);
|
);
|
||||||
|
@ -1667,13 +1667,13 @@ impl SharedEmitter {
|
|||||||
}
|
}
|
||||||
|
|
||||||
impl Emitter for SharedEmitter {
|
impl Emitter for SharedEmitter {
|
||||||
fn emit_diagnostic(&mut self, db: &rustc_errors::Diagnostic) {
|
fn emit_diagnostic(&mut self, diag: &rustc_errors::Diagnostic) {
|
||||||
drop(self.sender.send(SharedEmitterMessage::Diagnostic(Diagnostic {
|
drop(self.sender.send(SharedEmitterMessage::Diagnostic(Diagnostic {
|
||||||
msg: db.message(),
|
msg: diag.message(),
|
||||||
code: db.code.clone(),
|
code: diag.code.clone(),
|
||||||
lvl: db.level,
|
lvl: diag.level,
|
||||||
})));
|
})));
|
||||||
for child in &db.children {
|
for child in &diag.children {
|
||||||
drop(self.sender.send(SharedEmitterMessage::Diagnostic(Diagnostic {
|
drop(self.sender.send(SharedEmitterMessage::Diagnostic(Diagnostic {
|
||||||
msg: child.message(),
|
msg: child.message(),
|
||||||
code: None,
|
code: None,
|
||||||
|
@ -31,19 +31,19 @@ pub struct AnnotateSnippetEmitterWriter {
|
|||||||
|
|
||||||
impl Emitter for AnnotateSnippetEmitterWriter {
|
impl Emitter for AnnotateSnippetEmitterWriter {
|
||||||
/// The entry point for the diagnostics generation
|
/// The entry point for the diagnostics generation
|
||||||
fn emit_diagnostic(&mut self, db: &Diagnostic) {
|
fn emit_diagnostic(&mut self, diag: &Diagnostic) {
|
||||||
let mut children = db.children.clone();
|
let mut children = diag.children.clone();
|
||||||
let (mut primary_span, suggestions) = self.primary_span_formatted(&db);
|
let (mut primary_span, suggestions) = self.primary_span_formatted(&diag);
|
||||||
|
|
||||||
self.fix_multispans_in_std_macros(&self.source_map,
|
self.fix_multispans_in_std_macros(&self.source_map,
|
||||||
&mut primary_span,
|
&mut primary_span,
|
||||||
&mut children,
|
&mut children,
|
||||||
&db.level,
|
&diag.level,
|
||||||
self.external_macro_backtrace);
|
self.external_macro_backtrace);
|
||||||
|
|
||||||
self.emit_messages_default(&db.level,
|
self.emit_messages_default(&diag.level,
|
||||||
db.message(),
|
diag.message(),
|
||||||
&db.code,
|
&diag.code,
|
||||||
&primary_span,
|
&primary_span,
|
||||||
&children,
|
&children,
|
||||||
&suggestions);
|
&suggestions);
|
||||||
|
@ -180,7 +180,7 @@ const ANONYMIZED_LINE_NUM: &str = "LL";
|
|||||||
/// Emitter trait for emitting errors.
|
/// Emitter trait for emitting errors.
|
||||||
pub trait Emitter {
|
pub trait Emitter {
|
||||||
/// Emit a structured diagnostic.
|
/// Emit a structured diagnostic.
|
||||||
fn emit_diagnostic(&mut self, db: &Diagnostic);
|
fn emit_diagnostic(&mut self, diag: &Diagnostic);
|
||||||
|
|
||||||
/// Emit a notification that an artifact has been output.
|
/// Emit a notification that an artifact has been output.
|
||||||
/// This is currently only supported for the JSON format,
|
/// This is currently only supported for the JSON format,
|
||||||
@ -206,10 +206,10 @@ pub trait Emitter {
|
|||||||
/// we return the original `primary_span` and the original suggestions.
|
/// we return the original `primary_span` and the original suggestions.
|
||||||
fn primary_span_formatted<'a>(
|
fn primary_span_formatted<'a>(
|
||||||
&mut self,
|
&mut self,
|
||||||
db: &'a Diagnostic,
|
diag: &'a Diagnostic,
|
||||||
) -> (MultiSpan, &'a [CodeSuggestion]) {
|
) -> (MultiSpan, &'a [CodeSuggestion]) {
|
||||||
let mut primary_span = db.span.clone();
|
let mut primary_span = diag.span.clone();
|
||||||
if let Some((sugg, rest)) = db.suggestions.split_first() {
|
if let Some((sugg, rest)) = diag.suggestions.split_first() {
|
||||||
if rest.is_empty() &&
|
if rest.is_empty() &&
|
||||||
// ^ if there is only one suggestion
|
// ^ if there is only one suggestion
|
||||||
// don't display multi-suggestions as labels
|
// don't display multi-suggestions as labels
|
||||||
@ -260,10 +260,10 @@ pub trait Emitter {
|
|||||||
// to be consistent. We could try to figure out if we can
|
// to be consistent. We could try to figure out if we can
|
||||||
// make one (or the first one) inline, but that would give
|
// make one (or the first one) inline, but that would give
|
||||||
// undue importance to a semi-random suggestion
|
// undue importance to a semi-random suggestion
|
||||||
(primary_span, &db.suggestions)
|
(primary_span, &diag.suggestions)
|
||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
(primary_span, &db.suggestions)
|
(primary_span, &diag.suggestions)
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -401,19 +401,19 @@ impl Emitter for EmitterWriter {
|
|||||||
self.sm.as_ref()
|
self.sm.as_ref()
|
||||||
}
|
}
|
||||||
|
|
||||||
fn emit_diagnostic(&mut self, db: &Diagnostic) {
|
fn emit_diagnostic(&mut self, diag: &Diagnostic) {
|
||||||
let mut children = db.children.clone();
|
let mut children = diag.children.clone();
|
||||||
let (mut primary_span, suggestions) = self.primary_span_formatted(&db);
|
let (mut primary_span, suggestions) = self.primary_span_formatted(&diag);
|
||||||
|
|
||||||
self.fix_multispans_in_std_macros(&self.sm,
|
self.fix_multispans_in_std_macros(&self.sm,
|
||||||
&mut primary_span,
|
&mut primary_span,
|
||||||
&mut children,
|
&mut children,
|
||||||
&db.level,
|
&diag.level,
|
||||||
self.external_macro_backtrace);
|
self.external_macro_backtrace);
|
||||||
|
|
||||||
self.emit_messages_default(&db.level,
|
self.emit_messages_default(&diag.level,
|
||||||
&db.styled_message(),
|
&diag.styled_message(),
|
||||||
&db.code,
|
&diag.code,
|
||||||
&primary_span,
|
&primary_span,
|
||||||
&children,
|
&children,
|
||||||
&suggestions);
|
&suggestions);
|
||||||
|
@ -9,7 +9,7 @@ use std::ops;
|
|||||||
|
|
||||||
use syntax::symbol::{Symbol, sym};
|
use syntax::symbol::{Symbol, sym};
|
||||||
use syntax::ast::{MetaItem, MetaItemKind, NestedMetaItem, LitKind};
|
use syntax::ast::{MetaItem, MetaItemKind, NestedMetaItem, LitKind};
|
||||||
use syntax::parse::ParseSess;
|
use syntax::sess::ParseSess;
|
||||||
use syntax::feature_gate::Features;
|
use syntax::feature_gate::Features;
|
||||||
|
|
||||||
use syntax_pos::Span;
|
use syntax_pos::Span;
|
||||||
|
@ -14,7 +14,7 @@ use std::io::prelude::*;
|
|||||||
use syntax::source_map::{SourceMap, FilePathMapping};
|
use syntax::source_map::{SourceMap, FilePathMapping};
|
||||||
use syntax::parse::lexer;
|
use syntax::parse::lexer;
|
||||||
use syntax::parse::token::{self, Token};
|
use syntax::parse::token::{self, Token};
|
||||||
use syntax::parse;
|
use syntax::sess::ParseSess;
|
||||||
use syntax::symbol::{kw, sym};
|
use syntax::symbol::{kw, sym};
|
||||||
use syntax_pos::{Span, FileName};
|
use syntax_pos::{Span, FileName};
|
||||||
|
|
||||||
@ -33,7 +33,7 @@ pub fn render_with_highlighting(
|
|||||||
class, tooltip).unwrap();
|
class, tooltip).unwrap();
|
||||||
}
|
}
|
||||||
|
|
||||||
let sess = parse::ParseSess::new(FilePathMapping::empty());
|
let sess = ParseSess::new(FilePathMapping::empty());
|
||||||
let fm = sess.source_map().new_source_file(
|
let fm = sess.source_map().new_source_file(
|
||||||
FileName::Custom(String::from("rustdoc-highlighting")),
|
FileName::Custom(String::from("rustdoc-highlighting")),
|
||||||
src.to_owned(),
|
src.to_owned(),
|
||||||
|
@ -1,6 +1,7 @@
|
|||||||
use errors::Applicability;
|
use errors::Applicability;
|
||||||
use syntax::parse::lexer::{StringReader as Lexer};
|
use syntax::parse::lexer::{StringReader as Lexer};
|
||||||
use syntax::parse::{ParseSess, token};
|
use syntax::parse::token;
|
||||||
|
use syntax::sess::ParseSess;
|
||||||
use syntax::source_map::FilePathMapping;
|
use syntax::source_map::FilePathMapping;
|
||||||
use syntax_pos::{InnerSpan, FileName};
|
use syntax_pos::{InnerSpan, FileName};
|
||||||
|
|
||||||
|
@ -394,7 +394,7 @@ pub fn make_test(s: &str,
|
|||||||
// Uses libsyntax to parse the doctest and find if there's a main fn and the extern
|
// Uses libsyntax to parse the doctest and find if there's a main fn and the extern
|
||||||
// crate already is included.
|
// crate already is included.
|
||||||
let (already_has_main, already_has_extern_crate, found_macro) = with_globals(edition, || {
|
let (already_has_main, already_has_extern_crate, found_macro) = with_globals(edition, || {
|
||||||
use crate::syntax::{parse::{self, ParseSess}, source_map::FilePathMapping};
|
use crate::syntax::{parse, sess::ParseSess, source_map::FilePathMapping};
|
||||||
use errors::emitter::EmitterWriter;
|
use errors::emitter::EmitterWriter;
|
||||||
use errors::Handler;
|
use errors::Handler;
|
||||||
|
|
||||||
|
@ -4,8 +4,8 @@ use crate::ast::{self, Attribute, MetaItem, NestedMetaItem};
|
|||||||
use crate::early_buffered_lints::BufferedEarlyLintId;
|
use crate::early_buffered_lints::BufferedEarlyLintId;
|
||||||
use crate::ext::base::ExtCtxt;
|
use crate::ext::base::ExtCtxt;
|
||||||
use crate::feature_gate::{Features, GatedCfg};
|
use crate::feature_gate::{Features, GatedCfg};
|
||||||
use crate::parse::ParseSess;
|
|
||||||
use crate::print::pprust;
|
use crate::print::pprust;
|
||||||
|
use crate::sess::ParseSess;
|
||||||
|
|
||||||
use errors::{Applicability, Handler};
|
use errors::{Applicability, Handler};
|
||||||
use syntax_pos::hygiene::Transparency;
|
use syntax_pos::hygiene::Transparency;
|
||||||
|
@ -16,9 +16,10 @@ use crate::mut_visit::visit_clobber;
|
|||||||
use crate::source_map::{BytePos, Spanned, DUMMY_SP};
|
use crate::source_map::{BytePos, Spanned, DUMMY_SP};
|
||||||
use crate::parse::lexer::comments::{doc_comment_style, strip_doc_comment_decoration};
|
use crate::parse::lexer::comments::{doc_comment_style, strip_doc_comment_decoration};
|
||||||
use crate::parse::parser::Parser;
|
use crate::parse::parser::Parser;
|
||||||
use crate::parse::{ParseSess, PResult};
|
use crate::parse::PResult;
|
||||||
use crate::parse::token::{self, Token};
|
use crate::parse::token::{self, Token};
|
||||||
use crate::ptr::P;
|
use crate::ptr::P;
|
||||||
|
use crate::sess::ParseSess;
|
||||||
use crate::symbol::{sym, Symbol};
|
use crate::symbol::{sym, Symbol};
|
||||||
use crate::ThinVec;
|
use crate::ThinVec;
|
||||||
use crate::tokenstream::{TokenStream, TokenTree, DelimSpan};
|
use crate::tokenstream::{TokenStream, TokenTree, DelimSpan};
|
||||||
|
@ -10,8 +10,9 @@ use crate::attr;
|
|||||||
use crate::ast;
|
use crate::ast;
|
||||||
use crate::edition::Edition;
|
use crate::edition::Edition;
|
||||||
use crate::mut_visit::*;
|
use crate::mut_visit::*;
|
||||||
use crate::parse::{token, ParseSess};
|
use crate::parse::token;
|
||||||
use crate::ptr::P;
|
use crate::ptr::P;
|
||||||
|
use crate::sess::ParseSess;
|
||||||
use crate::symbol::sym;
|
use crate::symbol::sym;
|
||||||
use crate::util::map_in_place::MapInPlace;
|
use crate::util::map_in_place::MapInPlace;
|
||||||
|
|
||||||
|
@ -5,9 +5,10 @@ use crate::edition::Edition;
|
|||||||
use crate::ext::expand::{self, AstFragment, Invocation};
|
use crate::ext::expand::{self, AstFragment, Invocation};
|
||||||
use crate::ext::hygiene::ExpnId;
|
use crate::ext::hygiene::ExpnId;
|
||||||
use crate::mut_visit::{self, MutVisitor};
|
use crate::mut_visit::{self, MutVisitor};
|
||||||
use crate::parse::{self, parser, ParseSess, DirectoryOwnership};
|
use crate::parse::{self, parser, DirectoryOwnership};
|
||||||
use crate::parse::token;
|
use crate::parse::token;
|
||||||
use crate::ptr::P;
|
use crate::ptr::P;
|
||||||
|
use crate::sess::ParseSess;
|
||||||
use crate::symbol::{kw, sym, Ident, Symbol};
|
use crate::symbol::{kw, sym, Ident, Symbol};
|
||||||
use crate::{ThinVec, MACRO_ARGUMENTS};
|
use crate::{ThinVec, MACRO_ARGUMENTS};
|
||||||
use crate::tokenstream::{self, TokenStream};
|
use crate::tokenstream::{self, TokenStream};
|
||||||
@ -892,7 +893,7 @@ pub struct ExpansionData {
|
|||||||
/// when a macro expansion occurs, the resulting nodes have the `backtrace()
|
/// when a macro expansion occurs, the resulting nodes have the `backtrace()
|
||||||
/// -> expn_data` of their expansion context stored into their span.
|
/// -> expn_data` of their expansion context stored into their span.
|
||||||
pub struct ExtCtxt<'a> {
|
pub struct ExtCtxt<'a> {
|
||||||
pub parse_sess: &'a parse::ParseSess,
|
pub parse_sess: &'a ParseSess,
|
||||||
pub ecfg: expand::ExpansionConfig<'a>,
|
pub ecfg: expand::ExpansionConfig<'a>,
|
||||||
pub root_path: PathBuf,
|
pub root_path: PathBuf,
|
||||||
pub resolver: &'a mut dyn Resolver,
|
pub resolver: &'a mut dyn Resolver,
|
||||||
@ -901,7 +902,7 @@ pub struct ExtCtxt<'a> {
|
|||||||
}
|
}
|
||||||
|
|
||||||
impl<'a> ExtCtxt<'a> {
|
impl<'a> ExtCtxt<'a> {
|
||||||
pub fn new(parse_sess: &'a parse::ParseSess,
|
pub fn new(parse_sess: &'a ParseSess,
|
||||||
ecfg: expand::ExpansionConfig<'a>,
|
ecfg: expand::ExpansionConfig<'a>,
|
||||||
resolver: &'a mut dyn Resolver)
|
resolver: &'a mut dyn Resolver)
|
||||||
-> ExtCtxt<'a> {
|
-> ExtCtxt<'a> {
|
||||||
@ -935,7 +936,7 @@ impl<'a> ExtCtxt<'a> {
|
|||||||
parse::stream_to_parser(self.parse_sess, stream, MACRO_ARGUMENTS)
|
parse::stream_to_parser(self.parse_sess, stream, MACRO_ARGUMENTS)
|
||||||
}
|
}
|
||||||
pub fn source_map(&self) -> &'a SourceMap { self.parse_sess.source_map() }
|
pub fn source_map(&self) -> &'a SourceMap { self.parse_sess.source_map() }
|
||||||
pub fn parse_sess(&self) -> &'a parse::ParseSess { self.parse_sess }
|
pub fn parse_sess(&self) -> &'a ParseSess { self.parse_sess }
|
||||||
pub fn cfg(&self) -> &ast::CrateConfig { &self.parse_sess.config }
|
pub fn cfg(&self) -> &ast::CrateConfig { &self.parse_sess.config }
|
||||||
pub fn call_site(&self) -> Span {
|
pub fn call_site(&self) -> Span {
|
||||||
self.current_expansion.id.expn_data().call_site
|
self.current_expansion.id.expn_data().call_site
|
||||||
|
@ -10,14 +10,14 @@ use crate::ext::mbe::macro_rules::annotate_err_with_kind;
|
|||||||
use crate::ext::placeholders::{placeholder, PlaceholderExpander};
|
use crate::ext::placeholders::{placeholder, PlaceholderExpander};
|
||||||
use crate::feature_gate::{self, Features, GateIssue, is_builtin_attr, emit_feature_err};
|
use crate::feature_gate::{self, Features, GateIssue, is_builtin_attr, emit_feature_err};
|
||||||
use crate::mut_visit::*;
|
use crate::mut_visit::*;
|
||||||
use crate::parse::{DirectoryOwnership, PResult, ParseSess};
|
use crate::parse::{DirectoryOwnership, PResult};
|
||||||
use crate::parse::token;
|
use crate::parse::token;
|
||||||
use crate::parse::parser::Parser;
|
use crate::parse::parser::Parser;
|
||||||
use crate::print::pprust;
|
use crate::print::pprust;
|
||||||
use crate::ptr::P;
|
use crate::ptr::P;
|
||||||
use crate::symbol::{sym, Symbol};
|
use crate::symbol::{sym, Symbol};
|
||||||
use crate::tokenstream::{TokenStream, TokenTree};
|
use crate::tokenstream::{TokenStream, TokenTree};
|
||||||
use crate::visit::{self, Visitor};
|
use crate::visit::Visitor;
|
||||||
use crate::util::map_in_place::MapInPlace;
|
use crate::util::map_in_place::MapInPlace;
|
||||||
|
|
||||||
use errors::{Applicability, FatalError};
|
use errors::{Applicability, FatalError};
|
||||||
@ -577,10 +577,7 @@ impl<'a, 'b> MacroExpander<'a, 'b> {
|
|||||||
SyntaxExtensionKind::Bang(expander) => {
|
SyntaxExtensionKind::Bang(expander) => {
|
||||||
self.gate_proc_macro_expansion_kind(span, fragment_kind);
|
self.gate_proc_macro_expansion_kind(span, fragment_kind);
|
||||||
let tok_result = expander.expand(self.cx, span, mac.stream());
|
let tok_result = expander.expand(self.cx, span, mac.stream());
|
||||||
let result =
|
self.parse_ast_fragment(tok_result, fragment_kind, &mac.path, span)
|
||||||
self.parse_ast_fragment(tok_result, fragment_kind, &mac.path, span);
|
|
||||||
self.gate_proc_macro_expansion(span, &result);
|
|
||||||
result
|
|
||||||
}
|
}
|
||||||
SyntaxExtensionKind::LegacyBang(expander) => {
|
SyntaxExtensionKind::LegacyBang(expander) => {
|
||||||
let prev = self.cx.current_expansion.prior_type_ascription;
|
let prev = self.cx.current_expansion.prior_type_ascription;
|
||||||
@ -624,10 +621,7 @@ impl<'a, 'b> MacroExpander<'a, 'b> {
|
|||||||
})), DUMMY_SP).into();
|
})), DUMMY_SP).into();
|
||||||
let input = self.extract_proc_macro_attr_input(attr.item.tokens, span);
|
let input = self.extract_proc_macro_attr_input(attr.item.tokens, span);
|
||||||
let tok_result = expander.expand(self.cx, span, input, item_tok);
|
let tok_result = expander.expand(self.cx, span, input, item_tok);
|
||||||
let res =
|
self.parse_ast_fragment(tok_result, fragment_kind, &attr.item.path, span)
|
||||||
self.parse_ast_fragment(tok_result, fragment_kind, &attr.item.path, span);
|
|
||||||
self.gate_proc_macro_expansion(span, &res);
|
|
||||||
res
|
|
||||||
}
|
}
|
||||||
SyntaxExtensionKind::LegacyAttr(expander) => {
|
SyntaxExtensionKind::LegacyAttr(expander) => {
|
||||||
match attr.parse_meta(self.cx.parse_sess) {
|
match attr.parse_meta(self.cx.parse_sess) {
|
||||||
@ -718,41 +712,6 @@ impl<'a, 'b> MacroExpander<'a, 'b> {
|
|||||||
);
|
);
|
||||||
}
|
}
|
||||||
|
|
||||||
fn gate_proc_macro_expansion(&self, span: Span, fragment: &AstFragment) {
|
|
||||||
if self.cx.ecfg.proc_macro_hygiene() {
|
|
||||||
return
|
|
||||||
}
|
|
||||||
|
|
||||||
fragment.visit_with(&mut DisallowMacros {
|
|
||||||
span,
|
|
||||||
parse_sess: self.cx.parse_sess,
|
|
||||||
});
|
|
||||||
|
|
||||||
struct DisallowMacros<'a> {
|
|
||||||
span: Span,
|
|
||||||
parse_sess: &'a ParseSess,
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<'ast, 'a> Visitor<'ast> for DisallowMacros<'a> {
|
|
||||||
fn visit_item(&mut self, i: &'ast ast::Item) {
|
|
||||||
if let ast::ItemKind::MacroDef(_) = i.kind {
|
|
||||||
emit_feature_err(
|
|
||||||
self.parse_sess,
|
|
||||||
sym::proc_macro_hygiene,
|
|
||||||
self.span,
|
|
||||||
GateIssue::Language,
|
|
||||||
"procedural macros cannot expand to macro definitions",
|
|
||||||
);
|
|
||||||
}
|
|
||||||
visit::walk_item(self, i);
|
|
||||||
}
|
|
||||||
|
|
||||||
fn visit_mac(&mut self, _mac: &'ast ast::Mac) {
|
|
||||||
// ...
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
fn gate_proc_macro_expansion_kind(&self, span: Span, kind: AstFragmentKind) {
|
fn gate_proc_macro_expansion_kind(&self, span: Span, kind: AstFragmentKind) {
|
||||||
let kind = match kind {
|
let kind = match kind {
|
||||||
AstFragmentKind::Expr |
|
AstFragmentKind::Expr |
|
||||||
|
@ -109,7 +109,7 @@ use crate::early_buffered_lints::BufferedEarlyLintId;
|
|||||||
use crate::ext::mbe::{KleeneToken, TokenTree};
|
use crate::ext::mbe::{KleeneToken, TokenTree};
|
||||||
use crate::parse::token::TokenKind;
|
use crate::parse::token::TokenKind;
|
||||||
use crate::parse::token::{DelimToken, Token};
|
use crate::parse::token::{DelimToken, Token};
|
||||||
use crate::parse::ParseSess;
|
use crate::sess::ParseSess;
|
||||||
use crate::symbol::{kw, sym};
|
use crate::symbol::{kw, sym};
|
||||||
|
|
||||||
use rustc_data_structures::fx::FxHashMap;
|
use rustc_data_structures::fx::FxHashMap;
|
||||||
|
@ -76,10 +76,11 @@ use TokenTreeOrTokenTreeSlice::*;
|
|||||||
|
|
||||||
use crate::ast::{Ident, Name};
|
use crate::ast::{Ident, Name};
|
||||||
use crate::ext::mbe::{self, TokenTree};
|
use crate::ext::mbe::{self, TokenTree};
|
||||||
use crate::parse::{Directory, ParseSess, PResult};
|
use crate::parse::{Directory, PResult};
|
||||||
use crate::parse::parser::{Parser, PathStyle};
|
use crate::parse::parser::{Parser, PathStyle};
|
||||||
use crate::parse::token::{self, DocComment, Nonterminal, Token};
|
use crate::parse::token::{self, DocComment, Nonterminal, Token};
|
||||||
use crate::print::pprust;
|
use crate::print::pprust;
|
||||||
|
use crate::sess::ParseSess;
|
||||||
use crate::symbol::{kw, sym, Symbol};
|
use crate::symbol::{kw, sym, Symbol};
|
||||||
use crate::tokenstream::{DelimSpan, TokenStream};
|
use crate::tokenstream::{DelimSpan, TokenStream};
|
||||||
|
|
||||||
|
@ -14,8 +14,9 @@ use crate::feature_gate::Features;
|
|||||||
use crate::parse::parser::Parser;
|
use crate::parse::parser::Parser;
|
||||||
use crate::parse::token::TokenKind::*;
|
use crate::parse::token::TokenKind::*;
|
||||||
use crate::parse::token::{self, NtTT, Token};
|
use crate::parse::token::{self, NtTT, Token};
|
||||||
use crate::parse::{Directory, ParseSess};
|
use crate::parse::Directory;
|
||||||
use crate::print::pprust;
|
use crate::print::pprust;
|
||||||
|
use crate::sess::ParseSess;
|
||||||
use crate::symbol::{kw, sym, Symbol};
|
use crate::symbol::{kw, sym, Symbol};
|
||||||
use crate::tokenstream::{DelimSpan, TokenStream, TokenTree};
|
use crate::tokenstream::{DelimSpan, TokenStream, TokenTree};
|
||||||
|
|
||||||
|
@ -2,8 +2,8 @@ use crate::ast;
|
|||||||
use crate::ext::mbe::macro_parser;
|
use crate::ext::mbe::macro_parser;
|
||||||
use crate::ext::mbe::{TokenTree, KleeneOp, KleeneToken, SequenceRepetition, Delimited};
|
use crate::ext::mbe::{TokenTree, KleeneOp, KleeneToken, SequenceRepetition, Delimited};
|
||||||
use crate::parse::token::{self, Token};
|
use crate::parse::token::{self, Token};
|
||||||
use crate::parse::ParseSess;
|
|
||||||
use crate::print::pprust;
|
use crate::print::pprust;
|
||||||
|
use crate::sess::ParseSess;
|
||||||
use crate::symbol::kw;
|
use crate::symbol::kw;
|
||||||
use crate::tokenstream;
|
use crate::tokenstream;
|
||||||
|
|
||||||
|
@ -1,8 +1,9 @@
|
|||||||
use crate::ast;
|
use crate::ast;
|
||||||
use crate::ext::base::ExtCtxt;
|
use crate::ext::base::ExtCtxt;
|
||||||
use crate::parse::{self, token, ParseSess};
|
use crate::parse::{self, token};
|
||||||
use crate::parse::lexer::comments;
|
use crate::parse::lexer::comments;
|
||||||
use crate::print::pprust;
|
use crate::print::pprust;
|
||||||
|
use crate::sess::ParseSess;
|
||||||
use crate::tokenstream::{self, DelimSpan, IsJoint::*, TokenStream, TreeAndJoint};
|
use crate::tokenstream::{self, DelimSpan, IsJoint::*, TokenStream, TreeAndJoint};
|
||||||
|
|
||||||
use errors::Diagnostic;
|
use errors::Diagnostic;
|
||||||
|
@ -9,8 +9,8 @@ use super::active::Features;
|
|||||||
|
|
||||||
use crate::ast;
|
use crate::ast;
|
||||||
use crate::attr::AttributeTemplate;
|
use crate::attr::AttributeTemplate;
|
||||||
|
use crate::sess::ParseSess;
|
||||||
use crate::symbol::{Symbol, sym};
|
use crate::symbol::{Symbol, sym};
|
||||||
use crate::parse::ParseSess;
|
|
||||||
|
|
||||||
use syntax_pos::Span;
|
use syntax_pos::Span;
|
||||||
use rustc_data_structures::fx::FxHashMap;
|
use rustc_data_structures::fx::FxHashMap;
|
||||||
|
@ -5,14 +5,14 @@ use super::builtin_attrs::{AttributeGate, BUILTIN_ATTRIBUTE_MAP};
|
|||||||
|
|
||||||
use crate::ast::{
|
use crate::ast::{
|
||||||
self, AssocTyConstraint, AssocTyConstraintKind, NodeId, GenericParam, GenericParamKind,
|
self, AssocTyConstraint, AssocTyConstraintKind, NodeId, GenericParam, GenericParamKind,
|
||||||
PatKind, RangeEnd,
|
PatKind, RangeEnd, VariantData,
|
||||||
};
|
};
|
||||||
use crate::attr::{self, check_builtin_attribute};
|
use crate::attr::{self, check_builtin_attribute};
|
||||||
use crate::source_map::Spanned;
|
use crate::source_map::Spanned;
|
||||||
use crate::edition::{ALL_EDITIONS, Edition};
|
use crate::edition::{ALL_EDITIONS, Edition};
|
||||||
use crate::visit::{self, FnKind, Visitor};
|
use crate::visit::{self, FnKind, Visitor};
|
||||||
use crate::parse::{token, ParseSess};
|
use crate::parse::token;
|
||||||
use crate::parse::parser::Parser;
|
use crate::sess::ParseSess;
|
||||||
use crate::symbol::{Symbol, sym};
|
use crate::symbol::{Symbol, sym};
|
||||||
use crate::tokenstream::TokenTree;
|
use crate::tokenstream::TokenTree;
|
||||||
|
|
||||||
@ -246,6 +246,51 @@ impl<'a> PostExpansionVisitor<'a> {
|
|||||||
Abi::System => {}
|
Abi::System => {}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
fn maybe_report_invalid_custom_discriminants(&self, variants: &[ast::Variant]) {
|
||||||
|
let has_fields = variants.iter().any(|variant| match variant.data {
|
||||||
|
VariantData::Tuple(..) | VariantData::Struct(..) => true,
|
||||||
|
VariantData::Unit(..) => false,
|
||||||
|
});
|
||||||
|
|
||||||
|
let discriminant_spans = variants.iter().filter(|variant| match variant.data {
|
||||||
|
VariantData::Tuple(..) | VariantData::Struct(..) => false,
|
||||||
|
VariantData::Unit(..) => true,
|
||||||
|
})
|
||||||
|
.filter_map(|variant| variant.disr_expr.as_ref().map(|c| c.value.span))
|
||||||
|
.collect::<Vec<_>>();
|
||||||
|
|
||||||
|
if !discriminant_spans.is_empty() && has_fields {
|
||||||
|
let mut err = feature_err(
|
||||||
|
self.parse_sess,
|
||||||
|
sym::arbitrary_enum_discriminant,
|
||||||
|
discriminant_spans.clone(),
|
||||||
|
crate::feature_gate::GateIssue::Language,
|
||||||
|
"custom discriminant values are not allowed in enums with tuple or struct variants",
|
||||||
|
);
|
||||||
|
for sp in discriminant_spans {
|
||||||
|
err.span_label(sp, "disallowed custom discriminant");
|
||||||
|
}
|
||||||
|
for variant in variants.iter() {
|
||||||
|
match &variant.data {
|
||||||
|
VariantData::Struct(..) => {
|
||||||
|
err.span_label(
|
||||||
|
variant.span,
|
||||||
|
"struct variant defined here",
|
||||||
|
);
|
||||||
|
}
|
||||||
|
VariantData::Tuple(..) => {
|
||||||
|
err.span_label(
|
||||||
|
variant.span,
|
||||||
|
"tuple variant defined here",
|
||||||
|
);
|
||||||
|
}
|
||||||
|
VariantData::Unit(..) => {}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
err.emit();
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
impl<'a> Visitor<'a> for PostExpansionVisitor<'a> {
|
impl<'a> Visitor<'a> for PostExpansionVisitor<'a> {
|
||||||
@ -353,7 +398,7 @@ impl<'a> Visitor<'a> for PostExpansionVisitor<'a> {
|
|||||||
|
|
||||||
let has_feature = self.features.arbitrary_enum_discriminant;
|
let has_feature = self.features.arbitrary_enum_discriminant;
|
||||||
if !has_feature && !i.span.allows_unstable(sym::arbitrary_enum_discriminant) {
|
if !has_feature && !i.span.allows_unstable(sym::arbitrary_enum_discriminant) {
|
||||||
Parser::maybe_report_invalid_custom_discriminants(self.parse_sess, &variants);
|
self.maybe_report_invalid_custom_discriminants(&variants);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -769,7 +814,7 @@ pub fn get_features(span_handler: &Handler, krate_attrs: &[ast::Attribute],
|
|||||||
}
|
}
|
||||||
|
|
||||||
if let Some(allowed) = allow_features.as_ref() {
|
if let Some(allowed) = allow_features.as_ref() {
|
||||||
if allowed.iter().find(|f| *f == name.as_str()).is_none() {
|
if allowed.iter().find(|&f| f == &name.as_str() as &str).is_none() {
|
||||||
span_err!(span_handler, mi.span(), E0725,
|
span_err!(span_handler, mi.span(), E0725,
|
||||||
"the feature `{}` is not in the list of allowed features",
|
"the feature `{}` is not in the list of allowed features",
|
||||||
name);
|
name);
|
||||||
|
@ -89,8 +89,8 @@ impl JsonEmitter {
|
|||||||
}
|
}
|
||||||
|
|
||||||
impl Emitter for JsonEmitter {
|
impl Emitter for JsonEmitter {
|
||||||
fn emit_diagnostic(&mut self, db: &errors::Diagnostic) {
|
fn emit_diagnostic(&mut self, diag: &errors::Diagnostic) {
|
||||||
let data = Diagnostic::from_errors_diagnostic(db, self);
|
let data = Diagnostic::from_errors_diagnostic(diag, self);
|
||||||
let result = if self.pretty {
|
let result = if self.pretty {
|
||||||
writeln!(&mut self.dst, "{}", as_pretty_json(&data))
|
writeln!(&mut self.dst, "{}", as_pretty_json(&data))
|
||||||
} else {
|
} else {
|
||||||
@ -209,10 +209,10 @@ struct ArtifactNotification<'a> {
|
|||||||
}
|
}
|
||||||
|
|
||||||
impl Diagnostic {
|
impl Diagnostic {
|
||||||
fn from_errors_diagnostic(db: &errors::Diagnostic,
|
fn from_errors_diagnostic(diag: &errors::Diagnostic,
|
||||||
je: &JsonEmitter)
|
je: &JsonEmitter)
|
||||||
-> Diagnostic {
|
-> Diagnostic {
|
||||||
let sugg = db.suggestions.iter().map(|sugg| {
|
let sugg = diag.suggestions.iter().map(|sugg| {
|
||||||
Diagnostic {
|
Diagnostic {
|
||||||
message: sugg.msg.clone(),
|
message: sugg.msg.clone(),
|
||||||
code: None,
|
code: None,
|
||||||
@ -241,30 +241,30 @@ impl Diagnostic {
|
|||||||
let output = buf.clone();
|
let output = buf.clone();
|
||||||
je.json_rendered.new_emitter(
|
je.json_rendered.new_emitter(
|
||||||
Box::new(buf), Some(je.sm.clone()), false, None, je.external_macro_backtrace
|
Box::new(buf), Some(je.sm.clone()), false, None, je.external_macro_backtrace
|
||||||
).ui_testing(je.ui_testing).emit_diagnostic(db);
|
).ui_testing(je.ui_testing).emit_diagnostic(diag);
|
||||||
let output = Arc::try_unwrap(output.0).unwrap().into_inner().unwrap();
|
let output = Arc::try_unwrap(output.0).unwrap().into_inner().unwrap();
|
||||||
let output = String::from_utf8(output).unwrap();
|
let output = String::from_utf8(output).unwrap();
|
||||||
|
|
||||||
Diagnostic {
|
Diagnostic {
|
||||||
message: db.message(),
|
message: diag.message(),
|
||||||
code: DiagnosticCode::map_opt_string(db.code.clone(), je),
|
code: DiagnosticCode::map_opt_string(diag.code.clone(), je),
|
||||||
level: db.level.to_str(),
|
level: diag.level.to_str(),
|
||||||
spans: DiagnosticSpan::from_multispan(&db.span, je),
|
spans: DiagnosticSpan::from_multispan(&diag.span, je),
|
||||||
children: db.children.iter().map(|c| {
|
children: diag.children.iter().map(|c| {
|
||||||
Diagnostic::from_sub_diagnostic(c, je)
|
Diagnostic::from_sub_diagnostic(c, je)
|
||||||
}).chain(sugg).collect(),
|
}).chain(sugg).collect(),
|
||||||
rendered: Some(output),
|
rendered: Some(output),
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fn from_sub_diagnostic(db: &SubDiagnostic, je: &JsonEmitter) -> Diagnostic {
|
fn from_sub_diagnostic(diag: &SubDiagnostic, je: &JsonEmitter) -> Diagnostic {
|
||||||
Diagnostic {
|
Diagnostic {
|
||||||
message: db.message(),
|
message: diag.message(),
|
||||||
code: None,
|
code: None,
|
||||||
level: db.level.to_str(),
|
level: diag.level.to_str(),
|
||||||
spans: db.render_span.as_ref()
|
spans: diag.render_span.as_ref()
|
||||||
.map(|sp| DiagnosticSpan::from_multispan(sp, je))
|
.map(|sp| DiagnosticSpan::from_multispan(sp, je))
|
||||||
.unwrap_or_else(|| DiagnosticSpan::from_multispan(&db.span, je)),
|
.unwrap_or_else(|| DiagnosticSpan::from_multispan(&diag.span, je)),
|
||||||
children: vec![],
|
children: vec![],
|
||||||
rendered: None,
|
rendered: None,
|
||||||
}
|
}
|
||||||
|
@ -147,6 +147,7 @@ pub mod ptr;
|
|||||||
pub mod show_span;
|
pub mod show_span;
|
||||||
pub use syntax_pos::edition;
|
pub use syntax_pos::edition;
|
||||||
pub use syntax_pos::symbol;
|
pub use syntax_pos::symbol;
|
||||||
|
pub mod sess;
|
||||||
pub mod tokenstream;
|
pub mod tokenstream;
|
||||||
pub mod visit;
|
pub mod visit;
|
||||||
|
|
||||||
|
@ -1,9 +1,8 @@
|
|||||||
use crate::ast::{
|
use crate::ast::{
|
||||||
self, Param, BinOpKind, BindingMode, BlockCheckMode, Expr, ExprKind, Ident, Item, ItemKind,
|
self, Param, BinOpKind, BindingMode, BlockCheckMode, Expr, ExprKind, Ident, Item, ItemKind,
|
||||||
Mutability, Pat, PatKind, PathSegment, QSelf, Ty, TyKind, VariantData,
|
Mutability, Pat, PatKind, PathSegment, QSelf, Ty, TyKind,
|
||||||
};
|
};
|
||||||
use crate::feature_gate::feature_err;
|
use crate::parse::{SeqSep, PResult, Parser};
|
||||||
use crate::parse::{SeqSep, PResult, Parser, ParseSess};
|
|
||||||
use crate::parse::parser::{BlockMode, PathStyle, SemiColonMode, TokenType, TokenExpectType};
|
use crate::parse::parser::{BlockMode, PathStyle, SemiColonMode, TokenType, TokenExpectType};
|
||||||
use crate::parse::token::{self, TokenKind};
|
use crate::parse::token::{self, TokenKind};
|
||||||
use crate::print::pprust;
|
use crate::print::pprust;
|
||||||
@ -715,55 +714,7 @@ impl<'a> Parser<'a> {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
crate fn maybe_report_invalid_custom_discriminants(
|
pub(super) fn maybe_recover_from_bad_type_plus(
|
||||||
sess: &ParseSess,
|
|
||||||
variants: &[ast::Variant],
|
|
||||||
) {
|
|
||||||
let has_fields = variants.iter().any(|variant| match variant.data {
|
|
||||||
VariantData::Tuple(..) | VariantData::Struct(..) => true,
|
|
||||||
VariantData::Unit(..) => false,
|
|
||||||
});
|
|
||||||
|
|
||||||
let discriminant_spans = variants.iter().filter(|variant| match variant.data {
|
|
||||||
VariantData::Tuple(..) | VariantData::Struct(..) => false,
|
|
||||||
VariantData::Unit(..) => true,
|
|
||||||
})
|
|
||||||
.filter_map(|variant| variant.disr_expr.as_ref().map(|c| c.value.span))
|
|
||||||
.collect::<Vec<_>>();
|
|
||||||
|
|
||||||
if !discriminant_spans.is_empty() && has_fields {
|
|
||||||
let mut err = feature_err(
|
|
||||||
sess,
|
|
||||||
sym::arbitrary_enum_discriminant,
|
|
||||||
discriminant_spans.clone(),
|
|
||||||
crate::feature_gate::GateIssue::Language,
|
|
||||||
"custom discriminant values are not allowed in enums with tuple or struct variants",
|
|
||||||
);
|
|
||||||
for sp in discriminant_spans {
|
|
||||||
err.span_label(sp, "disallowed custom discriminant");
|
|
||||||
}
|
|
||||||
for variant in variants.iter() {
|
|
||||||
match &variant.data {
|
|
||||||
VariantData::Struct(..) => {
|
|
||||||
err.span_label(
|
|
||||||
variant.span,
|
|
||||||
"struct variant defined here",
|
|
||||||
);
|
|
||||||
}
|
|
||||||
VariantData::Tuple(..) => {
|
|
||||||
err.span_label(
|
|
||||||
variant.span,
|
|
||||||
"tuple variant defined here",
|
|
||||||
);
|
|
||||||
}
|
|
||||||
VariantData::Unit(..) => {}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
err.emit();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
crate fn maybe_recover_from_bad_type_plus(
|
|
||||||
&mut self,
|
&mut self,
|
||||||
allow_plus: bool,
|
allow_plus: bool,
|
||||||
ty: &Ty,
|
ty: &Ty,
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
use crate::parse::ParseSess;
|
|
||||||
use crate::parse::token::{self, Token, TokenKind};
|
use crate::parse::token::{self, Token, TokenKind};
|
||||||
|
use crate::sess::ParseSess;
|
||||||
use crate::symbol::{sym, Symbol};
|
use crate::symbol::{sym, Symbol};
|
||||||
use crate::parse::unescape_error_reporting::{emit_unescape_error, push_escaped_char};
|
use crate::parse::unescape_error_reporting::{emit_unescape_error, push_escaped_char};
|
||||||
|
|
||||||
|
@ -1,14 +1,10 @@
|
|||||||
//! Code related to parsing literals.
|
//! Code related to parsing literals.
|
||||||
|
|
||||||
use crate::ast::{self, Lit, LitKind};
|
use crate::ast::{self, Lit, LitKind};
|
||||||
use crate::parse::parser::Parser;
|
use crate::parse::token::{self, Token};
|
||||||
use crate::parse::PResult;
|
|
||||||
use crate::parse::token::{self, Token, TokenKind};
|
|
||||||
use crate::print::pprust;
|
|
||||||
use crate::symbol::{kw, sym, Symbol};
|
use crate::symbol::{kw, sym, Symbol};
|
||||||
use crate::tokenstream::{TokenStream, TokenTree};
|
use crate::tokenstream::{TokenStream, TokenTree};
|
||||||
|
|
||||||
use errors::{Applicability, Handler};
|
|
||||||
use log::debug;
|
use log::debug;
|
||||||
use rustc_data_structures::sync::Lrc;
|
use rustc_data_structures::sync::Lrc;
|
||||||
use syntax_pos::Span;
|
use syntax_pos::Span;
|
||||||
@ -28,72 +24,6 @@ crate enum LitError {
|
|||||||
IntTooLarge,
|
IntTooLarge,
|
||||||
}
|
}
|
||||||
|
|
||||||
impl LitError {
|
|
||||||
fn report(&self, diag: &Handler, lit: token::Lit, span: Span) {
|
|
||||||
let token::Lit { kind, suffix, .. } = lit;
|
|
||||||
match *self {
|
|
||||||
// `NotLiteral` is not an error by itself, so we don't report
|
|
||||||
// it and give the parser opportunity to try something else.
|
|
||||||
LitError::NotLiteral => {}
|
|
||||||
// `LexerError` *is* an error, but it was already reported
|
|
||||||
// by lexer, so here we don't report it the second time.
|
|
||||||
LitError::LexerError => {}
|
|
||||||
LitError::InvalidSuffix => {
|
|
||||||
expect_no_suffix(
|
|
||||||
diag, span, &format!("{} {} literal", kind.article(), kind.descr()), suffix
|
|
||||||
);
|
|
||||||
}
|
|
||||||
LitError::InvalidIntSuffix => {
|
|
||||||
let suf = suffix.expect("suffix error with no suffix").as_str();
|
|
||||||
if looks_like_width_suffix(&['i', 'u'], &suf) {
|
|
||||||
// If it looks like a width, try to be helpful.
|
|
||||||
let msg = format!("invalid width `{}` for integer literal", &suf[1..]);
|
|
||||||
diag.struct_span_err(span, &msg)
|
|
||||||
.help("valid widths are 8, 16, 32, 64 and 128")
|
|
||||||
.emit();
|
|
||||||
} else {
|
|
||||||
let msg = format!("invalid suffix `{}` for integer literal", suf);
|
|
||||||
diag.struct_span_err(span, &msg)
|
|
||||||
.span_label(span, format!("invalid suffix `{}`", suf))
|
|
||||||
.help("the suffix must be one of the integral types (`u32`, `isize`, etc)")
|
|
||||||
.emit();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
LitError::InvalidFloatSuffix => {
|
|
||||||
let suf = suffix.expect("suffix error with no suffix").as_str();
|
|
||||||
if looks_like_width_suffix(&['f'], &suf) {
|
|
||||||
// If it looks like a width, try to be helpful.
|
|
||||||
let msg = format!("invalid width `{}` for float literal", &suf[1..]);
|
|
||||||
diag.struct_span_err(span, &msg)
|
|
||||||
.help("valid widths are 32 and 64")
|
|
||||||
.emit();
|
|
||||||
} else {
|
|
||||||
let msg = format!("invalid suffix `{}` for float literal", suf);
|
|
||||||
diag.struct_span_err(span, &msg)
|
|
||||||
.span_label(span, format!("invalid suffix `{}`", suf))
|
|
||||||
.help("valid suffixes are `f32` and `f64`")
|
|
||||||
.emit();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
LitError::NonDecimalFloat(base) => {
|
|
||||||
let descr = match base {
|
|
||||||
16 => "hexadecimal",
|
|
||||||
8 => "octal",
|
|
||||||
2 => "binary",
|
|
||||||
_ => unreachable!(),
|
|
||||||
};
|
|
||||||
diag.struct_span_err(span, &format!("{} float literal is not supported", descr))
|
|
||||||
.span_label(span, "not supported")
|
|
||||||
.emit();
|
|
||||||
}
|
|
||||||
LitError::IntTooLarge => {
|
|
||||||
diag.struct_span_err(span, "integer literal is too large")
|
|
||||||
.emit();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl LitKind {
|
impl LitKind {
|
||||||
/// Converts literal token into a semantic literal.
|
/// Converts literal token into a semantic literal.
|
||||||
fn from_lit_token(lit: token::Lit) -> Result<LitKind, LitError> {
|
fn from_lit_token(lit: token::Lit) -> Result<LitKind, LitError> {
|
||||||
@ -204,7 +134,7 @@ impl LitKind {
|
|||||||
let (kind, symbol, suffix) = match *self {
|
let (kind, symbol, suffix) = match *self {
|
||||||
LitKind::Str(symbol, ast::StrStyle::Cooked) => {
|
LitKind::Str(symbol, ast::StrStyle::Cooked) => {
|
||||||
// Don't re-intern unless the escaped string is different.
|
// Don't re-intern unless the escaped string is different.
|
||||||
let s = &symbol.as_str();
|
let s: &str = &symbol.as_str();
|
||||||
let escaped = s.escape_default().to_string();
|
let escaped = s.escape_default().to_string();
|
||||||
let symbol = if escaped == *s { symbol } else { Symbol::intern(&escaped) };
|
let symbol = if escaped == *s { symbol } else { Symbol::intern(&escaped) };
|
||||||
(token::Str, symbol, None)
|
(token::Str, symbol, None)
|
||||||
@ -254,7 +184,7 @@ impl LitKind {
|
|||||||
|
|
||||||
impl Lit {
|
impl Lit {
|
||||||
/// Converts literal token into an AST literal.
|
/// Converts literal token into an AST literal.
|
||||||
fn from_lit_token(token: token::Lit, span: Span) -> Result<Lit, LitError> {
|
crate fn from_lit_token(token: token::Lit, span: Span) -> Result<Lit, LitError> {
|
||||||
Ok(Lit { token, kind: LitKind::from_lit_token(token)?, span })
|
Ok(Lit { token, kind: LitKind::from_lit_token(token)?, span })
|
||||||
}
|
}
|
||||||
|
|
||||||
@ -296,99 +226,6 @@ impl Lit {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
impl<'a> Parser<'a> {
|
|
||||||
/// Matches `lit = true | false | token_lit`.
|
|
||||||
crate fn parse_lit(&mut self) -> PResult<'a, Lit> {
|
|
||||||
let mut recovered = None;
|
|
||||||
if self.token == token::Dot {
|
|
||||||
// Attempt to recover `.4` as `0.4`.
|
|
||||||
recovered = self.look_ahead(1, |next_token| {
|
|
||||||
if let token::Literal(token::Lit { kind: token::Integer, symbol, suffix })
|
|
||||||
= next_token.kind {
|
|
||||||
if self.token.span.hi() == next_token.span.lo() {
|
|
||||||
let s = String::from("0.") + &symbol.as_str();
|
|
||||||
let kind = TokenKind::lit(token::Float, Symbol::intern(&s), suffix);
|
|
||||||
return Some(Token::new(kind, self.token.span.to(next_token.span)));
|
|
||||||
}
|
|
||||||
}
|
|
||||||
None
|
|
||||||
});
|
|
||||||
if let Some(token) = &recovered {
|
|
||||||
self.bump();
|
|
||||||
self.diagnostic()
|
|
||||||
.struct_span_err(token.span, "float literals must have an integer part")
|
|
||||||
.span_suggestion(
|
|
||||||
token.span,
|
|
||||||
"must have an integer part",
|
|
||||||
pprust::token_to_string(token),
|
|
||||||
Applicability::MachineApplicable,
|
|
||||||
)
|
|
||||||
.emit();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
let token = recovered.as_ref().unwrap_or(&self.token);
|
|
||||||
match Lit::from_token(token) {
|
|
||||||
Ok(lit) => {
|
|
||||||
self.bump();
|
|
||||||
Ok(lit)
|
|
||||||
}
|
|
||||||
Err(LitError::NotLiteral) => {
|
|
||||||
let msg = format!("unexpected token: {}", self.this_token_descr());
|
|
||||||
Err(self.span_fatal(token.span, &msg))
|
|
||||||
}
|
|
||||||
Err(err) => {
|
|
||||||
let (lit, span) = (token.expect_lit(), token.span);
|
|
||||||
self.bump();
|
|
||||||
err.report(&self.sess.span_diagnostic, lit, span);
|
|
||||||
// Pack possible quotes and prefixes from the original literal into
|
|
||||||
// the error literal's symbol so they can be pretty-printed faithfully.
|
|
||||||
let suffixless_lit = token::Lit::new(lit.kind, lit.symbol, None);
|
|
||||||
let symbol = Symbol::intern(&suffixless_lit.to_string());
|
|
||||||
let lit = token::Lit::new(token::Err, symbol, lit.suffix);
|
|
||||||
Lit::from_lit_token(lit, span).map_err(|_| unreachable!())
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
crate fn expect_no_suffix(diag: &Handler, sp: Span, kind: &str, suffix: Option<Symbol>) {
|
|
||||||
if let Some(suf) = suffix {
|
|
||||||
let mut err = if kind == "a tuple index" &&
|
|
||||||
[sym::i32, sym::u32, sym::isize, sym::usize].contains(&suf) {
|
|
||||||
// #59553: warn instead of reject out of hand to allow the fix to percolate
|
|
||||||
// through the ecosystem when people fix their macros
|
|
||||||
let mut err = diag.struct_span_warn(
|
|
||||||
sp,
|
|
||||||
&format!("suffixes on {} are invalid", kind),
|
|
||||||
);
|
|
||||||
err.note(&format!(
|
|
||||||
"`{}` is *temporarily* accepted on tuple index fields as it was \
|
|
||||||
incorrectly accepted on stable for a few releases",
|
|
||||||
suf,
|
|
||||||
));
|
|
||||||
err.help(
|
|
||||||
"on proc macros, you'll want to use `syn::Index::from` or \
|
|
||||||
`proc_macro::Literal::*_unsuffixed` for code that will desugar \
|
|
||||||
to tuple field access",
|
|
||||||
);
|
|
||||||
err.note(
|
|
||||||
"for more context, see https://github.com/rust-lang/rust/issues/60210",
|
|
||||||
);
|
|
||||||
err
|
|
||||||
} else {
|
|
||||||
diag.struct_span_err(sp, &format!("suffixes on {} are invalid", kind))
|
|
||||||
};
|
|
||||||
err.span_label(sp, format!("invalid suffix `{}`", suf));
|
|
||||||
err.emit();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// Checks if `s` looks like i32 or u1234 etc.
|
|
||||||
fn looks_like_width_suffix(first_chars: &[char], s: &str) -> bool {
|
|
||||||
s.len() > 1 && s.starts_with(first_chars) && s[1..].chars().all(|c| c.is_ascii_digit())
|
|
||||||
}
|
|
||||||
|
|
||||||
fn strip_underscores(symbol: Symbol) -> Symbol {
|
fn strip_underscores(symbol: Symbol) -> Symbol {
|
||||||
// Do not allocate a new string unless necessary.
|
// Do not allocate a new string unless necessary.
|
||||||
let s = symbol.as_str();
|
let s = symbol.as_str();
|
||||||
|
@ -1,26 +1,20 @@
|
|||||||
//! The main parser interface.
|
//! The main parser interface.
|
||||||
|
|
||||||
use crate::ast::{self, CrateConfig, NodeId};
|
use crate::ast;
|
||||||
use crate::early_buffered_lints::{BufferedEarlyLint, BufferedEarlyLintId};
|
|
||||||
use crate::source_map::{SourceMap, FilePathMapping};
|
|
||||||
use crate::feature_gate::UnstableFeatures;
|
|
||||||
use crate::parse::parser::{Parser, emit_unclosed_delims};
|
use crate::parse::parser::{Parser, emit_unclosed_delims};
|
||||||
use crate::parse::token::{Nonterminal, TokenKind};
|
use crate::parse::token::{Nonterminal, TokenKind};
|
||||||
use crate::tokenstream::{self, TokenStream, TokenTree};
|
use crate::tokenstream::{self, TokenStream, TokenTree};
|
||||||
use crate::print::pprust;
|
use crate::print::pprust;
|
||||||
use crate::symbol::Symbol;
|
use crate::sess::ParseSess;
|
||||||
|
|
||||||
use errors::{Applicability, FatalError, Level, Handler, ColorConfig, Diagnostic, DiagnosticBuilder};
|
use errors::{FatalError, Level, Diagnostic, DiagnosticBuilder};
|
||||||
use rustc_data_structures::fx::{FxHashSet, FxHashMap};
|
|
||||||
#[cfg(target_arch = "x86_64")]
|
#[cfg(target_arch = "x86_64")]
|
||||||
use rustc_data_structures::static_assert_size;
|
use rustc_data_structures::static_assert_size;
|
||||||
use rustc_data_structures::sync::{Lrc, Lock, Once};
|
use rustc_data_structures::sync::Lrc;
|
||||||
use syntax_pos::{Span, SourceFile, FileName, MultiSpan};
|
use syntax_pos::{Span, SourceFile, FileName};
|
||||||
use syntax_pos::edition::Edition;
|
|
||||||
use syntax_pos::hygiene::ExpnId;
|
|
||||||
|
|
||||||
use std::borrow::Cow;
|
use std::borrow::Cow;
|
||||||
use std::path::{Path, PathBuf};
|
use std::path::Path;
|
||||||
use std::str;
|
use std::str;
|
||||||
|
|
||||||
use log::info;
|
use log::info;
|
||||||
@ -46,112 +40,6 @@ pub type PResult<'a, T> = Result<T, DiagnosticBuilder<'a>>;
|
|||||||
#[cfg(target_arch = "x86_64")]
|
#[cfg(target_arch = "x86_64")]
|
||||||
static_assert_size!(PResult<'_, bool>, 16);
|
static_assert_size!(PResult<'_, bool>, 16);
|
||||||
|
|
||||||
/// Collected spans during parsing for places where a certain feature was
|
|
||||||
/// used and should be feature gated accordingly in `check_crate`.
|
|
||||||
#[derive(Default)]
|
|
||||||
pub struct GatedSpans {
|
|
||||||
/// Spans collected for gating `let_chains`, e.g. `if a && let b = c {}`.
|
|
||||||
pub let_chains: Lock<Vec<Span>>,
|
|
||||||
/// Spans collected for gating `async_closure`, e.g. `async || ..`.
|
|
||||||
pub async_closure: Lock<Vec<Span>>,
|
|
||||||
/// Spans collected for gating `yield e?` expressions (`generators` gate).
|
|
||||||
pub yields: Lock<Vec<Span>>,
|
|
||||||
/// Spans collected for gating `or_patterns`, e.g. `Some(Foo | Bar)`.
|
|
||||||
pub or_patterns: Lock<Vec<Span>>,
|
|
||||||
/// Spans collected for gating `const_extern_fn`, e.g. `const extern fn foo`.
|
|
||||||
pub const_extern_fn: Lock<Vec<Span>>,
|
|
||||||
}
|
|
||||||
|
|
||||||
/// Info about a parsing session.
|
|
||||||
pub struct ParseSess {
|
|
||||||
pub span_diagnostic: Handler,
|
|
||||||
pub unstable_features: UnstableFeatures,
|
|
||||||
pub config: CrateConfig,
|
|
||||||
pub edition: Edition,
|
|
||||||
pub missing_fragment_specifiers: Lock<FxHashSet<Span>>,
|
|
||||||
/// Places where raw identifiers were used. This is used for feature-gating raw identifiers.
|
|
||||||
pub raw_identifier_spans: Lock<Vec<Span>>,
|
|
||||||
/// Used to determine and report recursive module inclusions.
|
|
||||||
included_mod_stack: Lock<Vec<PathBuf>>,
|
|
||||||
source_map: Lrc<SourceMap>,
|
|
||||||
pub buffered_lints: Lock<Vec<BufferedEarlyLint>>,
|
|
||||||
/// Contains the spans of block expressions that could have been incomplete based on the
|
|
||||||
/// operation token that followed it, but that the parser cannot identify without further
|
|
||||||
/// analysis.
|
|
||||||
pub ambiguous_block_expr_parse: Lock<FxHashMap<Span, Span>>,
|
|
||||||
pub injected_crate_name: Once<Symbol>,
|
|
||||||
pub gated_spans: GatedSpans,
|
|
||||||
}
|
|
||||||
|
|
||||||
impl ParseSess {
|
|
||||||
pub fn new(file_path_mapping: FilePathMapping) -> Self {
|
|
||||||
let cm = Lrc::new(SourceMap::new(file_path_mapping));
|
|
||||||
let handler = Handler::with_tty_emitter(
|
|
||||||
ColorConfig::Auto,
|
|
||||||
true,
|
|
||||||
None,
|
|
||||||
Some(cm.clone()),
|
|
||||||
);
|
|
||||||
ParseSess::with_span_handler(handler, cm)
|
|
||||||
}
|
|
||||||
|
|
||||||
pub fn with_span_handler(handler: Handler, source_map: Lrc<SourceMap>) -> Self {
|
|
||||||
Self {
|
|
||||||
span_diagnostic: handler,
|
|
||||||
unstable_features: UnstableFeatures::from_environment(),
|
|
||||||
config: FxHashSet::default(),
|
|
||||||
edition: ExpnId::root().expn_data().edition,
|
|
||||||
missing_fragment_specifiers: Lock::new(FxHashSet::default()),
|
|
||||||
raw_identifier_spans: Lock::new(Vec::new()),
|
|
||||||
included_mod_stack: Lock::new(vec![]),
|
|
||||||
source_map,
|
|
||||||
buffered_lints: Lock::new(vec![]),
|
|
||||||
ambiguous_block_expr_parse: Lock::new(FxHashMap::default()),
|
|
||||||
injected_crate_name: Once::new(),
|
|
||||||
gated_spans: GatedSpans::default(),
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
#[inline]
|
|
||||||
pub fn source_map(&self) -> &SourceMap {
|
|
||||||
&self.source_map
|
|
||||||
}
|
|
||||||
|
|
||||||
pub fn buffer_lint<S: Into<MultiSpan>>(&self,
|
|
||||||
lint_id: BufferedEarlyLintId,
|
|
||||||
span: S,
|
|
||||||
id: NodeId,
|
|
||||||
msg: &str,
|
|
||||||
) {
|
|
||||||
self.buffered_lints.with_lock(|buffered_lints| {
|
|
||||||
buffered_lints.push(BufferedEarlyLint{
|
|
||||||
span: span.into(),
|
|
||||||
id,
|
|
||||||
msg: msg.into(),
|
|
||||||
lint_id,
|
|
||||||
});
|
|
||||||
});
|
|
||||||
}
|
|
||||||
|
|
||||||
/// Extend an error with a suggestion to wrap an expression with parentheses to allow the
|
|
||||||
/// parser to continue parsing the following operation as part of the same expression.
|
|
||||||
pub fn expr_parentheses_needed(
|
|
||||||
&self,
|
|
||||||
err: &mut DiagnosticBuilder<'_>,
|
|
||||||
span: Span,
|
|
||||||
alt_snippet: Option<String>,
|
|
||||||
) {
|
|
||||||
if let Some(snippet) = self.source_map().span_to_snippet(span).ok().or(alt_snippet) {
|
|
||||||
err.span_suggestion(
|
|
||||||
span,
|
|
||||||
"parentheses are required to parse this as an expression",
|
|
||||||
format!("({})", snippet),
|
|
||||||
Applicability::MachineApplicable,
|
|
||||||
);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
#[derive(Clone)]
|
#[derive(Clone)]
|
||||||
pub struct Directory<'a> {
|
pub struct Directory<'a> {
|
||||||
pub path: Cow<'a, Path>,
|
pub path: Cow<'a, Path>,
|
||||||
|
@ -15,12 +15,13 @@ use crate::ast::{
|
|||||||
self, DUMMY_NODE_ID, AttrStyle, Attribute, CrateSugar, Ident,
|
self, DUMMY_NODE_ID, AttrStyle, Attribute, CrateSugar, Ident,
|
||||||
IsAsync, MacDelimiter, Mutability, StrStyle, Visibility, VisibilityKind, Unsafety,
|
IsAsync, MacDelimiter, Mutability, StrStyle, Visibility, VisibilityKind, Unsafety,
|
||||||
};
|
};
|
||||||
use crate::parse::{ParseSess, PResult, Directory, DirectoryOwnership, SeqSep, literal, token};
|
use crate::parse::{PResult, Directory, DirectoryOwnership, SeqSep};
|
||||||
use crate::parse::lexer::UnmatchedBrace;
|
use crate::parse::lexer::UnmatchedBrace;
|
||||||
use crate::parse::lexer::comments::{doc_comment_style, strip_doc_comment_decoration};
|
use crate::parse::lexer::comments::{doc_comment_style, strip_doc_comment_decoration};
|
||||||
use crate::parse::token::{Token, TokenKind, DelimToken};
|
use crate::parse::token::{self, Token, TokenKind, DelimToken};
|
||||||
use crate::print::pprust;
|
use crate::print::pprust;
|
||||||
use crate::ptr::P;
|
use crate::ptr::P;
|
||||||
|
use crate::sess::ParseSess;
|
||||||
use crate::source_map::respan;
|
use crate::source_map::respan;
|
||||||
use crate::symbol::{kw, sym, Symbol};
|
use crate::symbol::{kw, sym, Symbol};
|
||||||
use crate::tokenstream::{self, DelimSpan, TokenTree, TokenStream, TreeAndJoint};
|
use crate::tokenstream::{self, DelimSpan, TokenTree, TokenStream, TreeAndJoint};
|
||||||
@ -637,10 +638,6 @@ impl<'a> Parser<'a> {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
fn expect_no_suffix(&self, sp: Span, kind: &str, suffix: Option<ast::Name>) {
|
|
||||||
literal::expect_no_suffix(&self.sess.span_diagnostic, sp, kind, suffix)
|
|
||||||
}
|
|
||||||
|
|
||||||
/// Attempts to consume a `<`. If `<<` is seen, replaces it with a single
|
/// Attempts to consume a `<`. If `<<` is seen, replaces it with a single
|
||||||
/// `<` and continue. If `<-` is seen, replaces it with a single `<`
|
/// `<` and continue. If `<-` is seen, replaces it with a single `<`
|
||||||
/// and continue. If a `<` is not seen, returns false.
|
/// and continue. If a `<` is not seen, returns false.
|
||||||
@ -1366,7 +1363,7 @@ impl<'a> Parser<'a> {
|
|||||||
],
|
],
|
||||||
Applicability::MaybeIncorrect,
|
Applicability::MaybeIncorrect,
|
||||||
).span_suggestion(
|
).span_suggestion(
|
||||||
self.sess.source_map.next_point(self.prev_span),
|
self.sess.source_map().next_point(self.prev_span),
|
||||||
"add a semicolon",
|
"add a semicolon",
|
||||||
';'.to_string(),
|
';'.to_string(),
|
||||||
Applicability::MaybeIncorrect,
|
Applicability::MaybeIncorrect,
|
||||||
|
@ -1,17 +1,17 @@
|
|||||||
use super::{
|
use super::{Parser, PResult, Restrictions, PrevTokenKind, TokenType, PathStyle, BlockMode};
|
||||||
Parser, PResult, Restrictions, PrevTokenKind, TokenType, PathStyle, BlockMode, SemiColonMode,
|
use super::{SemiColonMode, SeqSep, TokenExpectType};
|
||||||
SeqSep, TokenExpectType,
|
|
||||||
};
|
|
||||||
use super::pat::{GateOr, PARAM_EXPECTED};
|
use super::pat::{GateOr, PARAM_EXPECTED};
|
||||||
|
|
||||||
|
use crate::parse::literal::LitError;
|
||||||
|
|
||||||
use crate::ast::{
|
use crate::ast::{
|
||||||
self, DUMMY_NODE_ID, Attribute, AttrStyle, Ident, CaptureBy, BlockCheckMode,
|
self, DUMMY_NODE_ID, Attribute, AttrStyle, Ident, CaptureBy, BlockCheckMode,
|
||||||
Expr, ExprKind, RangeLimits, Label, Movability, IsAsync, Arm, Ty, TyKind,
|
Expr, ExprKind, RangeLimits, Label, Movability, IsAsync, Arm, Ty, TyKind,
|
||||||
FunctionRetTy, Param, FnDecl, BinOpKind, BinOp, UnOp, Mac, AnonConst, Field,
|
FunctionRetTy, Param, FnDecl, BinOpKind, BinOp, UnOp, Mac, AnonConst, Field, Lit,
|
||||||
};
|
};
|
||||||
use crate::maybe_recover_from_interpolated_ty_qpath;
|
use crate::maybe_recover_from_interpolated_ty_qpath;
|
||||||
use crate::parse::classify;
|
use crate::parse::classify;
|
||||||
use crate::parse::token::{self, Token};
|
use crate::parse::token::{self, Token, TokenKind};
|
||||||
use crate::parse::diagnostics::Error;
|
use crate::parse::diagnostics::Error;
|
||||||
use crate::print::pprust;
|
use crate::print::pprust;
|
||||||
use crate::ptr::P;
|
use crate::ptr::P;
|
||||||
@ -20,6 +20,7 @@ use crate::symbol::{kw, sym};
|
|||||||
use crate::util::parser::{AssocOp, Fixity, prec_let_scrutinee_needs_par};
|
use crate::util::parser::{AssocOp, Fixity, prec_let_scrutinee_needs_par};
|
||||||
|
|
||||||
use errors::Applicability;
|
use errors::Applicability;
|
||||||
|
use syntax_pos::Symbol;
|
||||||
use std::mem;
|
use std::mem;
|
||||||
use rustc_data_structures::thin_vec::ThinVec;
|
use rustc_data_structures::thin_vec::ThinVec;
|
||||||
|
|
||||||
@ -1072,6 +1073,165 @@ impl<'a> Parser<'a> {
|
|||||||
self.maybe_recover_from_bad_qpath(expr, true)
|
self.maybe_recover_from_bad_qpath(expr, true)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Matches `lit = true | false | token_lit`.
|
||||||
|
crate fn parse_lit(&mut self) -> PResult<'a, Lit> {
|
||||||
|
let mut recovered = None;
|
||||||
|
if self.token == token::Dot {
|
||||||
|
// Attempt to recover `.4` as `0.4`.
|
||||||
|
recovered = self.look_ahead(1, |next_token| {
|
||||||
|
if let token::Literal(token::Lit { kind: token::Integer, symbol, suffix })
|
||||||
|
= next_token.kind {
|
||||||
|
if self.token.span.hi() == next_token.span.lo() {
|
||||||
|
let s = String::from("0.") + &symbol.as_str();
|
||||||
|
let kind = TokenKind::lit(token::Float, Symbol::intern(&s), suffix);
|
||||||
|
return Some(Token::new(kind, self.token.span.to(next_token.span)));
|
||||||
|
}
|
||||||
|
}
|
||||||
|
None
|
||||||
|
});
|
||||||
|
if let Some(token) = &recovered {
|
||||||
|
self.bump();
|
||||||
|
self.struct_span_err(token.span, "float literals must have an integer part")
|
||||||
|
.span_suggestion(
|
||||||
|
token.span,
|
||||||
|
"must have an integer part",
|
||||||
|
pprust::token_to_string(token),
|
||||||
|
Applicability::MachineApplicable,
|
||||||
|
)
|
||||||
|
.emit();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
let token = recovered.as_ref().unwrap_or(&self.token);
|
||||||
|
match Lit::from_token(token) {
|
||||||
|
Ok(lit) => {
|
||||||
|
self.bump();
|
||||||
|
Ok(lit)
|
||||||
|
}
|
||||||
|
Err(LitError::NotLiteral) => {
|
||||||
|
let msg = format!("unexpected token: {}", self.this_token_descr());
|
||||||
|
Err(self.span_fatal(token.span, &msg))
|
||||||
|
}
|
||||||
|
Err(err) => {
|
||||||
|
let (lit, span) = (token.expect_lit(), token.span);
|
||||||
|
self.bump();
|
||||||
|
self.error_literal_from_token(err, lit, span);
|
||||||
|
// Pack possible quotes and prefixes from the original literal into
|
||||||
|
// the error literal's symbol so they can be pretty-printed faithfully.
|
||||||
|
let suffixless_lit = token::Lit::new(lit.kind, lit.symbol, None);
|
||||||
|
let symbol = Symbol::intern(&suffixless_lit.to_string());
|
||||||
|
let lit = token::Lit::new(token::Err, symbol, lit.suffix);
|
||||||
|
Lit::from_lit_token(lit, span).map_err(|_| unreachable!())
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
fn error_literal_from_token(&self, err: LitError, lit: token::Lit, span: Span) {
|
||||||
|
// Checks if `s` looks like i32 or u1234 etc.
|
||||||
|
fn looks_like_width_suffix(first_chars: &[char], s: &str) -> bool {
|
||||||
|
s.len() > 1
|
||||||
|
&& s.starts_with(first_chars)
|
||||||
|
&& s[1..].chars().all(|c| c.is_ascii_digit())
|
||||||
|
}
|
||||||
|
|
||||||
|
let token::Lit { kind, suffix, .. } = lit;
|
||||||
|
match err {
|
||||||
|
// `NotLiteral` is not an error by itself, so we don't report
|
||||||
|
// it and give the parser opportunity to try something else.
|
||||||
|
LitError::NotLiteral => {}
|
||||||
|
// `LexerError` *is* an error, but it was already reported
|
||||||
|
// by lexer, so here we don't report it the second time.
|
||||||
|
LitError::LexerError => {}
|
||||||
|
LitError::InvalidSuffix => {
|
||||||
|
self.expect_no_suffix(
|
||||||
|
span,
|
||||||
|
&format!("{} {} literal", kind.article(), kind.descr()),
|
||||||
|
suffix,
|
||||||
|
);
|
||||||
|
}
|
||||||
|
LitError::InvalidIntSuffix => {
|
||||||
|
let suf = suffix.expect("suffix error with no suffix").as_str();
|
||||||
|
if looks_like_width_suffix(&['i', 'u'], &suf) {
|
||||||
|
// If it looks like a width, try to be helpful.
|
||||||
|
let msg = format!("invalid width `{}` for integer literal", &suf[1..]);
|
||||||
|
self.struct_span_err(span, &msg)
|
||||||
|
.help("valid widths are 8, 16, 32, 64 and 128")
|
||||||
|
.emit();
|
||||||
|
} else {
|
||||||
|
let msg = format!("invalid suffix `{}` for integer literal", suf);
|
||||||
|
self.struct_span_err(span, &msg)
|
||||||
|
.span_label(span, format!("invalid suffix `{}`", suf))
|
||||||
|
.help("the suffix must be one of the integral types (`u32`, `isize`, etc)")
|
||||||
|
.emit();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
LitError::InvalidFloatSuffix => {
|
||||||
|
let suf = suffix.expect("suffix error with no suffix").as_str();
|
||||||
|
if looks_like_width_suffix(&['f'], &suf) {
|
||||||
|
// If it looks like a width, try to be helpful.
|
||||||
|
let msg = format!("invalid width `{}` for float literal", &suf[1..]);
|
||||||
|
self.struct_span_err(span, &msg)
|
||||||
|
.help("valid widths are 32 and 64")
|
||||||
|
.emit();
|
||||||
|
} else {
|
||||||
|
let msg = format!("invalid suffix `{}` for float literal", suf);
|
||||||
|
self.struct_span_err(span, &msg)
|
||||||
|
.span_label(span, format!("invalid suffix `{}`", suf))
|
||||||
|
.help("valid suffixes are `f32` and `f64`")
|
||||||
|
.emit();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
LitError::NonDecimalFloat(base) => {
|
||||||
|
let descr = match base {
|
||||||
|
16 => "hexadecimal",
|
||||||
|
8 => "octal",
|
||||||
|
2 => "binary",
|
||||||
|
_ => unreachable!(),
|
||||||
|
};
|
||||||
|
self.struct_span_err(span, &format!("{} float literal is not supported", descr))
|
||||||
|
.span_label(span, "not supported")
|
||||||
|
.emit();
|
||||||
|
}
|
||||||
|
LitError::IntTooLarge => {
|
||||||
|
self.struct_span_err(span, "integer literal is too large")
|
||||||
|
.emit();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
pub(super) fn expect_no_suffix(&self, sp: Span, kind: &str, suffix: Option<Symbol>) {
|
||||||
|
if let Some(suf) = suffix {
|
||||||
|
let mut err = if kind == "a tuple index"
|
||||||
|
&& [sym::i32, sym::u32, sym::isize, sym::usize].contains(&suf)
|
||||||
|
{
|
||||||
|
// #59553: warn instead of reject out of hand to allow the fix to percolate
|
||||||
|
// through the ecosystem when people fix their macros
|
||||||
|
let mut err = self.sess.span_diagnostic.struct_span_warn(
|
||||||
|
sp,
|
||||||
|
&format!("suffixes on {} are invalid", kind),
|
||||||
|
);
|
||||||
|
err.note(&format!(
|
||||||
|
"`{}` is *temporarily* accepted on tuple index fields as it was \
|
||||||
|
incorrectly accepted on stable for a few releases",
|
||||||
|
suf,
|
||||||
|
));
|
||||||
|
err.help(
|
||||||
|
"on proc macros, you'll want to use `syn::Index::from` or \
|
||||||
|
`proc_macro::Literal::*_unsuffixed` for code that will desugar \
|
||||||
|
to tuple field access",
|
||||||
|
);
|
||||||
|
err.note(
|
||||||
|
"for more context, see https://github.com/rust-lang/rust/issues/60210",
|
||||||
|
);
|
||||||
|
err
|
||||||
|
} else {
|
||||||
|
self.struct_span_err(sp, &format!("suffixes on {} are invalid", kind))
|
||||||
|
};
|
||||||
|
err.span_label(sp, format!("invalid suffix `{}`", suf));
|
||||||
|
err.emit();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
/// Matches `'-' lit | lit` (cf. `ast_validation::AstValidator::check_expr_within_pat`).
|
/// Matches `'-' lit | lit` (cf. `ast_validation::AstValidator::check_expr_within_pat`).
|
||||||
crate fn parse_literal_maybe_minus(&mut self) -> PResult<'a, P<Expr>> {
|
crate fn parse_literal_maybe_minus(&mut self) -> PResult<'a, P<Expr>> {
|
||||||
maybe_whole_expr!(self);
|
maybe_whole_expr!(self);
|
||||||
|
@ -6,10 +6,11 @@ use crate::attr;
|
|||||||
use crate::source_map::{self, SourceMap, Spanned};
|
use crate::source_map::{self, SourceMap, Spanned};
|
||||||
use crate::parse::token::{self, BinOpToken, DelimToken, Nonterminal, Token, TokenKind};
|
use crate::parse::token::{self, BinOpToken, DelimToken, Nonterminal, Token, TokenKind};
|
||||||
use crate::parse::lexer::comments;
|
use crate::parse::lexer::comments;
|
||||||
use crate::parse::{self, ParseSess};
|
use crate::parse;
|
||||||
use crate::print::pp::{self, Breaks};
|
use crate::print::pp::{self, Breaks};
|
||||||
use crate::print::pp::Breaks::{Consistent, Inconsistent};
|
use crate::print::pp::Breaks::{Consistent, Inconsistent};
|
||||||
use crate::ptr::P;
|
use crate::ptr::P;
|
||||||
|
use crate::sess::ParseSess;
|
||||||
use crate::symbol::{kw, sym};
|
use crate::symbol::{kw, sym};
|
||||||
use crate::tokenstream::{self, TokenStream, TokenTree};
|
use crate::tokenstream::{self, TokenStream, TokenTree};
|
||||||
|
|
||||||
|
124
src/libsyntax/sess.rs
Normal file
124
src/libsyntax/sess.rs
Normal file
@ -0,0 +1,124 @@
|
|||||||
|
//! Contains `ParseSess` which holds state living beyond what one `Parser` might.
|
||||||
|
//! It also serves as an input to the parser itself.
|
||||||
|
|
||||||
|
use crate::ast::{CrateConfig, NodeId};
|
||||||
|
use crate::early_buffered_lints::{BufferedEarlyLint, BufferedEarlyLintId};
|
||||||
|
use crate::source_map::{SourceMap, FilePathMapping};
|
||||||
|
use crate::feature_gate::UnstableFeatures;
|
||||||
|
|
||||||
|
use errors::{Applicability, Handler, ColorConfig, DiagnosticBuilder};
|
||||||
|
use rustc_data_structures::fx::{FxHashSet, FxHashMap};
|
||||||
|
use rustc_data_structures::sync::{Lrc, Lock, Once};
|
||||||
|
use syntax_pos::{Symbol, Span, MultiSpan};
|
||||||
|
use syntax_pos::edition::Edition;
|
||||||
|
use syntax_pos::hygiene::ExpnId;
|
||||||
|
|
||||||
|
use std::path::PathBuf;
|
||||||
|
use std::str;
|
||||||
|
|
||||||
|
/// Collected spans during parsing for places where a certain feature was
|
||||||
|
/// used and should be feature gated accordingly in `check_crate`.
|
||||||
|
#[derive(Default)]
|
||||||
|
crate struct GatedSpans {
|
||||||
|
/// Spans collected for gating `let_chains`, e.g. `if a && let b = c {}`.
|
||||||
|
crate let_chains: Lock<Vec<Span>>,
|
||||||
|
/// Spans collected for gating `async_closure`, e.g. `async || ..`.
|
||||||
|
crate async_closure: Lock<Vec<Span>>,
|
||||||
|
/// Spans collected for gating `yield e?` expressions (`generators` gate).
|
||||||
|
crate yields: Lock<Vec<Span>>,
|
||||||
|
/// Spans collected for gating `or_patterns`, e.g. `Some(Foo | Bar)`.
|
||||||
|
crate or_patterns: Lock<Vec<Span>>,
|
||||||
|
/// Spans collected for gating `const_extern_fn`, e.g. `const extern fn foo`.
|
||||||
|
crate const_extern_fn: Lock<Vec<Span>>,
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Info about a parsing session.
|
||||||
|
pub struct ParseSess {
|
||||||
|
pub span_diagnostic: Handler,
|
||||||
|
crate unstable_features: UnstableFeatures,
|
||||||
|
pub config: CrateConfig,
|
||||||
|
pub edition: Edition,
|
||||||
|
pub missing_fragment_specifiers: Lock<FxHashSet<Span>>,
|
||||||
|
/// Places where raw identifiers were used. This is used for feature-gating raw identifiers.
|
||||||
|
pub raw_identifier_spans: Lock<Vec<Span>>,
|
||||||
|
/// Used to determine and report recursive module inclusions.
|
||||||
|
pub(super) included_mod_stack: Lock<Vec<PathBuf>>,
|
||||||
|
source_map: Lrc<SourceMap>,
|
||||||
|
pub buffered_lints: Lock<Vec<BufferedEarlyLint>>,
|
||||||
|
/// Contains the spans of block expressions that could have been incomplete based on the
|
||||||
|
/// operation token that followed it, but that the parser cannot identify without further
|
||||||
|
/// analysis.
|
||||||
|
pub ambiguous_block_expr_parse: Lock<FxHashMap<Span, Span>>,
|
||||||
|
pub injected_crate_name: Once<Symbol>,
|
||||||
|
crate gated_spans: GatedSpans,
|
||||||
|
}
|
||||||
|
|
||||||
|
impl ParseSess {
|
||||||
|
pub fn new(file_path_mapping: FilePathMapping) -> Self {
|
||||||
|
let cm = Lrc::new(SourceMap::new(file_path_mapping));
|
||||||
|
let handler = Handler::with_tty_emitter(
|
||||||
|
ColorConfig::Auto,
|
||||||
|
true,
|
||||||
|
None,
|
||||||
|
Some(cm.clone()),
|
||||||
|
);
|
||||||
|
ParseSess::with_span_handler(handler, cm)
|
||||||
|
}
|
||||||
|
|
||||||
|
pub fn with_span_handler(handler: Handler, source_map: Lrc<SourceMap>) -> Self {
|
||||||
|
Self {
|
||||||
|
span_diagnostic: handler,
|
||||||
|
unstable_features: UnstableFeatures::from_environment(),
|
||||||
|
config: FxHashSet::default(),
|
||||||
|
edition: ExpnId::root().expn_data().edition,
|
||||||
|
missing_fragment_specifiers: Lock::new(FxHashSet::default()),
|
||||||
|
raw_identifier_spans: Lock::new(Vec::new()),
|
||||||
|
included_mod_stack: Lock::new(vec![]),
|
||||||
|
source_map,
|
||||||
|
buffered_lints: Lock::new(vec![]),
|
||||||
|
ambiguous_block_expr_parse: Lock::new(FxHashMap::default()),
|
||||||
|
injected_crate_name: Once::new(),
|
||||||
|
gated_spans: GatedSpans::default(),
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#[inline]
|
||||||
|
pub fn source_map(&self) -> &SourceMap {
|
||||||
|
&self.source_map
|
||||||
|
}
|
||||||
|
|
||||||
|
pub fn buffer_lint(
|
||||||
|
&self,
|
||||||
|
lint_id: BufferedEarlyLintId,
|
||||||
|
span: impl Into<MultiSpan>,
|
||||||
|
id: NodeId,
|
||||||
|
msg: &str,
|
||||||
|
) {
|
||||||
|
self.buffered_lints.with_lock(|buffered_lints| {
|
||||||
|
buffered_lints.push(BufferedEarlyLint{
|
||||||
|
span: span.into(),
|
||||||
|
id,
|
||||||
|
msg: msg.into(),
|
||||||
|
lint_id,
|
||||||
|
});
|
||||||
|
});
|
||||||
|
}
|
||||||
|
|
||||||
|
/// Extend an error with a suggestion to wrap an expression with parentheses to allow the
|
||||||
|
/// parser to continue parsing the following operation as part of the same expression.
|
||||||
|
pub fn expr_parentheses_needed(
|
||||||
|
&self,
|
||||||
|
err: &mut DiagnosticBuilder<'_>,
|
||||||
|
span: Span,
|
||||||
|
alt_snippet: Option<String>,
|
||||||
|
) {
|
||||||
|
if let Some(snippet) = self.source_map().span_to_snippet(span).ok().or(alt_snippet) {
|
||||||
|
err.span_suggestion(
|
||||||
|
span,
|
||||||
|
"parentheses are required to parse this as an expression",
|
||||||
|
format!("({})", snippet),
|
||||||
|
Applicability::MachineApplicable,
|
||||||
|
);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
@ -1,7 +1,8 @@
|
|||||||
use crate::{ast, panictry};
|
use crate::{ast, panictry};
|
||||||
use crate::parse::{ParseSess, PResult, source_file_to_stream};
|
use crate::parse::{PResult, source_file_to_stream};
|
||||||
use crate::parse::new_parser_from_source_str;
|
use crate::parse::new_parser_from_source_str;
|
||||||
use crate::parse::parser::Parser;
|
use crate::parse::parser::Parser;
|
||||||
|
use crate::sess::ParseSess;
|
||||||
use crate::source_map::{SourceMap, FilePathMapping};
|
use crate::source_map::{SourceMap, FilePathMapping};
|
||||||
use crate::tokenstream::TokenStream;
|
use crate::tokenstream::TokenStream;
|
||||||
use crate::with_default_globals;
|
use crate::with_default_globals;
|
||||||
|
@ -3,7 +3,8 @@
|
|||||||
use syntax::ast::{self, AttrItem, AttrStyle};
|
use syntax::ast::{self, AttrItem, AttrStyle};
|
||||||
use syntax::attr::mk_attr;
|
use syntax::attr::mk_attr;
|
||||||
use syntax::panictry;
|
use syntax::panictry;
|
||||||
use syntax::parse::{self, token, ParseSess};
|
use syntax::parse::{self, token};
|
||||||
|
use syntax::sess::ParseSess;
|
||||||
use syntax_pos::FileName;
|
use syntax_pos::FileName;
|
||||||
|
|
||||||
pub fn inject(mut krate: ast::Crate, parse_sess: &ParseSess, attrs: &[String]) -> ast::Crate {
|
pub fn inject(mut krate: ast::Crate, parse_sess: &ParseSess, attrs: &[String]) -> ast::Crate {
|
||||||
|
@ -190,8 +190,8 @@ use syntax::ext::base::{Annotatable, ExtCtxt, SpecialDerives};
|
|||||||
use syntax::source_map::respan;
|
use syntax::source_map::respan;
|
||||||
use syntax::util::map_in_place::MapInPlace;
|
use syntax::util::map_in_place::MapInPlace;
|
||||||
use syntax::ptr::P;
|
use syntax::ptr::P;
|
||||||
|
use syntax::sess::ParseSess;
|
||||||
use syntax::symbol::{Symbol, kw, sym};
|
use syntax::symbol::{Symbol, kw, sym};
|
||||||
use syntax::parse::ParseSess;
|
|
||||||
use syntax_pos::{Span};
|
use syntax_pos::{Span};
|
||||||
|
|
||||||
use ty::{LifetimeBounds, Path, Ptr, PtrTy, Self_, Ty};
|
use ty::{LifetimeBounds, Path, Ptr, PtrTy, Self_, Ty};
|
||||||
|
@ -6,9 +6,9 @@ use syntax::attr;
|
|||||||
use syntax::ext::base::ExtCtxt;
|
use syntax::ext::base::ExtCtxt;
|
||||||
use syntax::ext::expand::{AstFragment, ExpansionConfig};
|
use syntax::ext::expand::{AstFragment, ExpansionConfig};
|
||||||
use syntax::ext::proc_macro::is_proc_macro_attr;
|
use syntax::ext::proc_macro::is_proc_macro_attr;
|
||||||
use syntax::parse::ParseSess;
|
|
||||||
use syntax::print::pprust;
|
use syntax::print::pprust;
|
||||||
use syntax::ptr::P;
|
use syntax::ptr::P;
|
||||||
|
use syntax::sess::ParseSess;
|
||||||
use syntax::symbol::{kw, sym};
|
use syntax::symbol::{kw, sym};
|
||||||
use syntax::visit::{self, Visitor};
|
use syntax::visit::{self, Visitor};
|
||||||
use syntax_pos::{Span, DUMMY_SP};
|
use syntax_pos::{Span, DUMMY_SP};
|
||||||
|
@ -3,8 +3,8 @@ use syntax::edition::Edition;
|
|||||||
use syntax::ext::expand::ExpansionConfig;
|
use syntax::ext::expand::ExpansionConfig;
|
||||||
use syntax::ext::hygiene::AstPass;
|
use syntax::ext::hygiene::AstPass;
|
||||||
use syntax::ext::base::{ExtCtxt, Resolver};
|
use syntax::ext::base::{ExtCtxt, Resolver};
|
||||||
use syntax::parse::ParseSess;
|
|
||||||
use syntax::ptr::P;
|
use syntax::ptr::P;
|
||||||
|
use syntax::sess::ParseSess;
|
||||||
use syntax::symbol::{Ident, Symbol, kw, sym};
|
use syntax::symbol::{Ident, Symbol, kw, sym};
|
||||||
use syntax_pos::DUMMY_SP;
|
use syntax_pos::DUMMY_SP;
|
||||||
|
|
||||||
|
@ -10,8 +10,8 @@ use syntax::ext::base::{ExtCtxt, Resolver};
|
|||||||
use syntax::ext::expand::{AstFragment, ExpansionConfig};
|
use syntax::ext::expand::{AstFragment, ExpansionConfig};
|
||||||
use syntax::feature_gate::Features;
|
use syntax::feature_gate::Features;
|
||||||
use syntax::mut_visit::{*, ExpectOne};
|
use syntax::mut_visit::{*, ExpectOne};
|
||||||
use syntax::parse::ParseSess;
|
|
||||||
use syntax::ptr::P;
|
use syntax::ptr::P;
|
||||||
|
use syntax::sess::ParseSess;
|
||||||
use syntax::source_map::respan;
|
use syntax::source_map::respan;
|
||||||
use syntax::symbol::{sym, Symbol};
|
use syntax::symbol::{sym, Symbol};
|
||||||
use syntax_pos::{Span, DUMMY_SP};
|
use syntax_pos::{Span, DUMMY_SP};
|
||||||
|
@ -12,7 +12,7 @@
|
|||||||
#![feature(non_exhaustive)]
|
#![feature(non_exhaustive)]
|
||||||
#![feature(optin_builtin_traits)]
|
#![feature(optin_builtin_traits)]
|
||||||
#![feature(rustc_attrs)]
|
#![feature(rustc_attrs)]
|
||||||
#![feature(proc_macro_hygiene)]
|
#![cfg_attr(bootstrap, feature(proc_macro_hygiene))]
|
||||||
#![feature(specialization)]
|
#![feature(specialization)]
|
||||||
#![feature(step_trait)]
|
#![feature(step_trait)]
|
||||||
|
|
||||||
|
@ -1202,30 +1202,6 @@ impl<T: std::ops::Deref<Target = str>> std::cmp::PartialEq<T> for LocalInternedS
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
impl std::cmp::PartialEq<LocalInternedString> for str {
|
|
||||||
fn eq(&self, other: &LocalInternedString) -> bool {
|
|
||||||
self == other.string
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<'a> std::cmp::PartialEq<LocalInternedString> for &'a str {
|
|
||||||
fn eq(&self, other: &LocalInternedString) -> bool {
|
|
||||||
*self == other.string
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl std::cmp::PartialEq<LocalInternedString> for String {
|
|
||||||
fn eq(&self, other: &LocalInternedString) -> bool {
|
|
||||||
self == other.string
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl<'a> std::cmp::PartialEq<LocalInternedString> for &'a String {
|
|
||||||
fn eq(&self, other: &LocalInternedString) -> bool {
|
|
||||||
*self == other.string
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
impl !Send for LocalInternedString {}
|
impl !Send for LocalInternedString {}
|
||||||
impl !Sync for LocalInternedString {}
|
impl !Sync for LocalInternedString {}
|
||||||
|
|
||||||
|
@ -10,9 +10,10 @@ extern crate syntax;
|
|||||||
use syntax::ast::*;
|
use syntax::ast::*;
|
||||||
use syntax::attr::*;
|
use syntax::attr::*;
|
||||||
use syntax::ast;
|
use syntax::ast;
|
||||||
|
use syntax::sess::ParseSess;
|
||||||
use syntax::source_map::{FilePathMapping, FileName};
|
use syntax::source_map::{FilePathMapping, FileName};
|
||||||
use syntax::parse;
|
use syntax::parse;
|
||||||
use syntax::parse::{ParseSess, PResult};
|
use syntax::parse::PResult;
|
||||||
use syntax::parse::new_parser_from_source_str;
|
use syntax::parse::new_parser_from_source_str;
|
||||||
use syntax::parse::parser::Parser;
|
use syntax::parse::parser::Parser;
|
||||||
use syntax::parse::token;
|
use syntax::parse::token;
|
||||||
|
@ -7,8 +7,9 @@
|
|||||||
extern crate syntax;
|
extern crate syntax;
|
||||||
|
|
||||||
use std::path::Path;
|
use std::path::Path;
|
||||||
|
use syntax::sess::ParseSess;
|
||||||
use syntax::source_map::FilePathMapping;
|
use syntax::source_map::FilePathMapping;
|
||||||
use syntax::parse::{self, ParseSess};
|
use syntax::parse;
|
||||||
|
|
||||||
#[path = "mod_dir_simple/test.rs"]
|
#[path = "mod_dir_simple/test.rs"]
|
||||||
mod gravy;
|
mod gravy;
|
||||||
|
@ -24,14 +24,14 @@ extern crate syntax;
|
|||||||
|
|
||||||
use rustc_data_structures::thin_vec::ThinVec;
|
use rustc_data_structures::thin_vec::ThinVec;
|
||||||
use syntax::ast::*;
|
use syntax::ast::*;
|
||||||
|
use syntax::sess::ParseSess;
|
||||||
use syntax::source_map::{Spanned, DUMMY_SP, FileName};
|
use syntax::source_map::{Spanned, DUMMY_SP, FileName};
|
||||||
use syntax::source_map::FilePathMapping;
|
use syntax::source_map::FilePathMapping;
|
||||||
use syntax::mut_visit::{self, MutVisitor, visit_clobber};
|
use syntax::mut_visit::{self, MutVisitor, visit_clobber};
|
||||||
use syntax::parse::{self, ParseSess};
|
use syntax::parse;
|
||||||
use syntax::print::pprust;
|
use syntax::print::pprust;
|
||||||
use syntax::ptr::P;
|
use syntax::ptr::P;
|
||||||
|
|
||||||
|
|
||||||
fn parse_expr(ps: &ParseSess, src: &str) -> Option<P<Expr>> {
|
fn parse_expr(ps: &ParseSess, src: &str) -> Option<P<Expr>> {
|
||||||
let src_as_string = src.to_string();
|
let src_as_string = src.to_string();
|
||||||
|
|
||||||
|
@ -4,7 +4,6 @@
|
|||||||
// left-hand side of a macro definition behave as if they had unique spans, and in particular that
|
// left-hand side of a macro definition behave as if they had unique spans, and in particular that
|
||||||
// they don't crash the compiler.
|
// they don't crash the compiler.
|
||||||
|
|
||||||
#![feature(proc_macro_hygiene)]
|
|
||||||
#![allow(unused_macros)]
|
#![allow(unused_macros)]
|
||||||
|
|
||||||
extern crate proc_macro_sequence;
|
extern crate proc_macro_sequence;
|
||||||
|
@ -1,5 +1,5 @@
|
|||||||
error: `$x:expr` may be followed by `$y:tt`, which is not allowed for `expr` fragments
|
error: `$x:expr` may be followed by `$y:tt`, which is not allowed for `expr` fragments
|
||||||
--> $DIR/same-sequence-span.rs:15:18
|
--> $DIR/same-sequence-span.rs:14:18
|
||||||
|
|
|
|
||||||
LL | (1 $x:expr $($y:tt,)*
|
LL | (1 $x:expr $($y:tt,)*
|
||||||
| ^^^^^ not allowed after `expr` fragments
|
| ^^^^^ not allowed after `expr` fragments
|
||||||
@ -7,7 +7,7 @@ LL | (1 $x:expr $($y:tt,)*
|
|||||||
= note: allowed there are: `=>`, `,` or `;`
|
= note: allowed there are: `=>`, `,` or `;`
|
||||||
|
|
||||||
error: `$x:expr` may be followed by `=`, which is not allowed for `expr` fragments
|
error: `$x:expr` may be followed by `=`, which is not allowed for `expr` fragments
|
||||||
--> $DIR/same-sequence-span.rs:16:18
|
--> $DIR/same-sequence-span.rs:15:18
|
||||||
|
|
|
|
||||||
LL | $(= $z:tt)*
|
LL | $(= $z:tt)*
|
||||||
| ^ not allowed after `expr` fragments
|
| ^ not allowed after `expr` fragments
|
||||||
@ -15,7 +15,7 @@ LL | $(= $z:tt)*
|
|||||||
= note: allowed there are: `=>`, `,` or `;`
|
= note: allowed there are: `=>`, `,` or `;`
|
||||||
|
|
||||||
error: `$x:expr` may be followed by `$y:tt`, which is not allowed for `expr` fragments
|
error: `$x:expr` may be followed by `$y:tt`, which is not allowed for `expr` fragments
|
||||||
--> $DIR/same-sequence-span.rs:20:1
|
--> $DIR/same-sequence-span.rs:19:1
|
||||||
|
|
|
|
||||||
LL | proc_macro_sequence::make_foo!();
|
LL | proc_macro_sequence::make_foo!();
|
||||||
| ^--------------------------------
|
| ^--------------------------------
|
||||||
@ -30,7 +30,7 @@ LL | | fn main() {}
|
|||||||
= note: allowed there are: `=>`, `,` or `;`
|
= note: allowed there are: `=>`, `,` or `;`
|
||||||
|
|
||||||
error: `$x:expr` may be followed by `=`, which is not allowed for `expr` fragments
|
error: `$x:expr` may be followed by `=`, which is not allowed for `expr` fragments
|
||||||
--> $DIR/same-sequence-span.rs:20:1
|
--> $DIR/same-sequence-span.rs:19:1
|
||||||
|
|
|
|
||||||
LL | proc_macro_sequence::make_foo!();
|
LL | proc_macro_sequence::make_foo!();
|
||||||
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
||||||
|
23
src/test/ui/proc-macro/auxiliary/gen-macro-rules-hygiene.rs
Normal file
23
src/test/ui/proc-macro/auxiliary/gen-macro-rules-hygiene.rs
Normal file
@ -0,0 +1,23 @@
|
|||||||
|
// force-host
|
||||||
|
// no-prefer-dynamic
|
||||||
|
|
||||||
|
#![crate_type = "proc-macro"]
|
||||||
|
|
||||||
|
extern crate proc_macro;
|
||||||
|
use proc_macro::*;
|
||||||
|
|
||||||
|
#[proc_macro]
|
||||||
|
pub fn gen_macro_rules(_: TokenStream) -> TokenStream {
|
||||||
|
"
|
||||||
|
macro_rules! generated {() => {
|
||||||
|
struct ItemDef;
|
||||||
|
let local_def = 0;
|
||||||
|
|
||||||
|
ItemUse; // OK
|
||||||
|
local_use; // ERROR
|
||||||
|
break 'label_use; // ERROR
|
||||||
|
|
||||||
|
type DollarCrate = $crate::ItemUse; // OK
|
||||||
|
}}
|
||||||
|
".parse().unwrap()
|
||||||
|
}
|
@ -1,35 +0,0 @@
|
|||||||
// force-host
|
|
||||||
// no-prefer-dynamic
|
|
||||||
|
|
||||||
#![crate_type = "proc-macro"]
|
|
||||||
|
|
||||||
extern crate proc_macro;
|
|
||||||
|
|
||||||
use proc_macro::*;
|
|
||||||
|
|
||||||
#[proc_macro_attribute]
|
|
||||||
pub fn attr2mac1(_: TokenStream, _: TokenStream) -> TokenStream {
|
|
||||||
"macro_rules! foo1 { (a) => (a) }".parse().unwrap()
|
|
||||||
}
|
|
||||||
|
|
||||||
#[proc_macro_attribute]
|
|
||||||
pub fn attr2mac2(_: TokenStream, _: TokenStream) -> TokenStream {
|
|
||||||
"macro foo2(a) { a }".parse().unwrap()
|
|
||||||
}
|
|
||||||
|
|
||||||
#[proc_macro]
|
|
||||||
pub fn mac2mac1(_: TokenStream) -> TokenStream {
|
|
||||||
"macro_rules! foo3 { (a) => (a) }".parse().unwrap()
|
|
||||||
}
|
|
||||||
|
|
||||||
#[proc_macro]
|
|
||||||
pub fn mac2mac2(_: TokenStream) -> TokenStream {
|
|
||||||
"macro foo4(a) { a }".parse().unwrap()
|
|
||||||
}
|
|
||||||
|
|
||||||
#[proc_macro]
|
|
||||||
pub fn tricky(_: TokenStream) -> TokenStream {
|
|
||||||
"fn foo() {
|
|
||||||
macro_rules! foo { (a) => (a) }
|
|
||||||
}".parse().unwrap()
|
|
||||||
}
|
|
23
src/test/ui/proc-macro/gen-macro-rules-hygiene.rs
Normal file
23
src/test/ui/proc-macro/gen-macro-rules-hygiene.rs
Normal file
@ -0,0 +1,23 @@
|
|||||||
|
// `macro_rules` items produced by transparent macros have correct hygiene in basic cases.
|
||||||
|
// Local variables and labels are hygienic, items are not hygienic.
|
||||||
|
// `$crate` refers to the crate that defines `macro_rules` and not the outer transparent macro.
|
||||||
|
|
||||||
|
// aux-build:gen-macro-rules-hygiene.rs
|
||||||
|
|
||||||
|
#[macro_use]
|
||||||
|
extern crate gen_macro_rules_hygiene;
|
||||||
|
|
||||||
|
struct ItemUse;
|
||||||
|
|
||||||
|
gen_macro_rules!();
|
||||||
|
//~^ ERROR use of undeclared label `'label_use`
|
||||||
|
//~| ERROR cannot find value `local_use` in this scope
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
'label_use: loop {
|
||||||
|
let local_use = 1;
|
||||||
|
generated!();
|
||||||
|
ItemDef; // OK
|
||||||
|
local_def; //~ ERROR cannot find value `local_def` in this scope
|
||||||
|
}
|
||||||
|
}
|
28
src/test/ui/proc-macro/gen-macro-rules-hygiene.stderr
Normal file
28
src/test/ui/proc-macro/gen-macro-rules-hygiene.stderr
Normal file
@ -0,0 +1,28 @@
|
|||||||
|
error[E0426]: use of undeclared label `'label_use`
|
||||||
|
--> $DIR/gen-macro-rules-hygiene.rs:12:1
|
||||||
|
|
|
||||||
|
LL | gen_macro_rules!();
|
||||||
|
| ^^^^^^^^^^^^^^^^^^^ undeclared label `'label_use`
|
||||||
|
...
|
||||||
|
LL | generated!();
|
||||||
|
| ------------- in this macro invocation
|
||||||
|
|
||||||
|
error[E0425]: cannot find value `local_use` in this scope
|
||||||
|
--> $DIR/gen-macro-rules-hygiene.rs:12:1
|
||||||
|
|
|
||||||
|
LL | gen_macro_rules!();
|
||||||
|
| ^^^^^^^^^^^^^^^^^^^ not found in this scope
|
||||||
|
...
|
||||||
|
LL | generated!();
|
||||||
|
| ------------- in this macro invocation
|
||||||
|
|
||||||
|
error[E0425]: cannot find value `local_def` in this scope
|
||||||
|
--> $DIR/gen-macro-rules-hygiene.rs:21:9
|
||||||
|
|
|
||||||
|
LL | local_def;
|
||||||
|
| ^^^^^^^^^ not found in this scope
|
||||||
|
|
||||||
|
error: aborting due to 3 previous errors
|
||||||
|
|
||||||
|
Some errors have detailed explanations: E0425, E0426.
|
||||||
|
For more information about an error, try `rustc --explain E0425`.
|
@ -1,22 +0,0 @@
|
|||||||
// aux-build:more-gates.rs
|
|
||||||
|
|
||||||
#![feature(decl_macro)]
|
|
||||||
|
|
||||||
extern crate more_gates as foo;
|
|
||||||
|
|
||||||
use foo::*;
|
|
||||||
|
|
||||||
#[attr2mac1]
|
|
||||||
//~^ ERROR: cannot expand to macro definitions
|
|
||||||
pub fn a() {}
|
|
||||||
#[attr2mac2]
|
|
||||||
//~^ ERROR: cannot expand to macro definitions
|
|
||||||
pub fn a() {}
|
|
||||||
|
|
||||||
mac2mac1!(); //~ ERROR: cannot expand to macro definitions
|
|
||||||
mac2mac2!(); //~ ERROR: cannot expand to macro definitions
|
|
||||||
|
|
||||||
tricky!();
|
|
||||||
//~^ ERROR: cannot expand to macro definitions
|
|
||||||
|
|
||||||
fn main() {}
|
|
@ -1,48 +0,0 @@
|
|||||||
error[E0658]: procedural macros cannot expand to macro definitions
|
|
||||||
--> $DIR/more-gates.rs:9:1
|
|
||||||
|
|
|
||||||
LL | #[attr2mac1]
|
|
||||||
| ^^^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: for more information, see https://github.com/rust-lang/rust/issues/54727
|
|
||||||
= help: add `#![feature(proc_macro_hygiene)]` to the crate attributes to enable
|
|
||||||
|
|
||||||
error[E0658]: procedural macros cannot expand to macro definitions
|
|
||||||
--> $DIR/more-gates.rs:12:1
|
|
||||||
|
|
|
||||||
LL | #[attr2mac2]
|
|
||||||
| ^^^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: for more information, see https://github.com/rust-lang/rust/issues/54727
|
|
||||||
= help: add `#![feature(proc_macro_hygiene)]` to the crate attributes to enable
|
|
||||||
|
|
||||||
error[E0658]: procedural macros cannot expand to macro definitions
|
|
||||||
--> $DIR/more-gates.rs:16:1
|
|
||||||
|
|
|
||||||
LL | mac2mac1!();
|
|
||||||
| ^^^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: for more information, see https://github.com/rust-lang/rust/issues/54727
|
|
||||||
= help: add `#![feature(proc_macro_hygiene)]` to the crate attributes to enable
|
|
||||||
|
|
||||||
error[E0658]: procedural macros cannot expand to macro definitions
|
|
||||||
--> $DIR/more-gates.rs:17:1
|
|
||||||
|
|
|
||||||
LL | mac2mac2!();
|
|
||||||
| ^^^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: for more information, see https://github.com/rust-lang/rust/issues/54727
|
|
||||||
= help: add `#![feature(proc_macro_hygiene)]` to the crate attributes to enable
|
|
||||||
|
|
||||||
error[E0658]: procedural macros cannot expand to macro definitions
|
|
||||||
--> $DIR/more-gates.rs:19:1
|
|
||||||
|
|
|
||||||
LL | tricky!();
|
|
||||||
| ^^^^^^^^^^
|
|
||||||
|
|
|
||||||
= note: for more information, see https://github.com/rust-lang/rust/issues/54727
|
|
||||||
= help: add `#![feature(proc_macro_hygiene)]` to the crate attributes to enable
|
|
||||||
|
|
||||||
error: aborting due to 5 previous errors
|
|
||||||
|
|
||||||
For more information about this error, try `rustc --explain E0658`.
|
|
Loading…
Reference in New Issue
Block a user