Skip to content

Commit dad31aa

Browse files
mu001999mu001999
committed
WIP: rewrite build_reduced_graph_for_use_tree
1 parent 11d2046 commit dad31aa

File tree

8 files changed

+943
-114
lines changed

8 files changed

+943
-114
lines changed

‎compiler/rustc_resolve/messages.ftl‎

Lines changed: 3 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -373,14 +373,6 @@ resolve_remove_surrounding_derive =
373373
374374
resolve_remove_unnecessary_import = remove unnecessary import
375375
376-
resolve_self_import_can_only_appear_once_in_the_list =
377-
`self` import can only appear once in an import list
378-
.label = can only appear once in an import list
379-
380-
resolve_self_import_only_in_import_list_with_non_empty_prefix =
381-
`self` import can only appear in an import list with a non-empty prefix
382-
.label = can only appear in an import list with a non-empty prefix
383-
384376
resolve_self_imports_only_allowed_within =
385377
`self` imports are only allowed within a {"{"} {"}"} list
386378
@@ -463,6 +455,9 @@ resolve_unexpected_res_use_at_op_in_slice_pat_with_range_sugg =
463455
resolve_unnamed_crate_root_import =
464456
crate root imports need to be explicitly named: `use crate as name;`
465457
458+
resolve_unnamed_imports =
459+
imports need to be explicitly named: `use {$ident} as name;`
460+
466461
resolve_unreachable_label =
467462
use of unreachable label `{$name}`
468463
.label = unreachable label `{$name}`

‎compiler/rustc_resolve/src/build_reduced_graph.rs‎

Lines changed: 49 additions & 75 deletions
Original file line numberDiff line numberDiff line change
@@ -574,61 +574,54 @@ impl<'a, 'ra, 'tcx> BuildReducedGraphVisitor<'a, 'ra, 'tcx> {
574574
let mut source = module_path.pop().unwrap();
575575
let mut type_ns_only = false;
576576

577-
if nested {
578-
// Correctly handle `self`
579-
if source.ident.name == kw::SelfLower {
580-
type_ns_only = true;
581-
582-
if empty_for_self(&module_path) {
583-
self.r.report_error(
584-
use_tree.span,
585-
ResolutionError::SelfImportOnlyInImportListWithNonEmptyPrefix,
577+
match source.ident.name {
578+
kw::Crate => {
579+
if !module_path.is_empty() {
580+
self.r.dcx().span_err(
581+
ident.span,
582+
"`crate` in paths can only be used in start position",
586583
);
587584
return;
588585
}
589-
590-
// Replace `use foo::{ self };` with `use foo;`
591-
let self_span = source.ident.span;
592-
source = module_path.pop().unwrap();
593-
if rename.is_none() {
594-
// Keep the span of `self`, but the name of `foo`
595-
ident = Ident::new(source.ident.name, self_span);
596-
}
597586
}
598-
} else {
599-
// Disallow `self`
600-
if source.ident.name == kw::SelfLower {
601-
let parent = module_path.last();
602-
603-
let span = match parent {
604-
// only `::self` from `use foo::self as bar`
605-
Some(seg) => seg.ident.span.shrink_to_hi().to(source.ident.span),
606-
None => source.ident.span,
607-
};
608-
let span_with_rename = match rename {
609-
// only `self as bar` from `use foo::self as bar`
610-
Some(rename) => source.ident.span.to(rename.span),
611-
None => source.ident.span,
612-
};
613-
self.r.report_error(
614-
span,
615-
ResolutionError::SelfImportsOnlyAllowedWithin {
616-
root: parent.is_none(),
617-
span_with_rename,
618-
},
619-
);
620-
621-
// Error recovery: replace `use foo::self;` with `use foo;`
587+
kw::Super => {
588+
type_ns_only = true;
589+
}
590+
kw::SelfLower => {
622591
if let Some(parent) = module_path.pop() {
592+
let span_with_rename = match rename {
593+
Some(rename) => source.ident.span.to(rename.span),
594+
None => source.ident.span,
595+
};
596+
597+
if !nested && parent.ident.name != kw::PathRoot {
598+
self.r.report_error(
599+
parent.ident.span.shrink_to_hi().to(source.ident.span),
600+
ResolutionError::SelfImportsOnlyAllowedWithin {
601+
root: false,
602+
span_with_rename,
603+
},
604+
);
605+
}
606+
607+
let self_span = source.ident.span;
623608
source = parent;
624609
if rename.is_none() {
625-
ident = source.ident;
610+
ident = Ident::new(source.ident.name, self_span);
626611
}
627612
}
613+
614+
type_ns_only = true;
628615
}
616+
kw::DollarCrate => {
617+
if !module_path.is_empty() {
618+
self.r.dcx().span_err(
619+
ident.span,
620+
"`$crate` in paths can only be used in start position",
621+
);
622+
return;
623+
}
629624

630-
// Disallow `use $crate;`
631-
if source.ident.name == kw::DollarCrate && module_path.is_empty() {
632625
let crate_root = self.r.resolve_crate_root(source.ident);
633626
let crate_name = match crate_root.kind {
634627
ModuleKind::Def(.., name) => name,
@@ -645,16 +638,23 @@ impl<'a, 'ra, 'tcx> BuildReducedGraphVisitor<'a, 'ra, 'tcx> {
645638
));
646639
source.ident.name = crate_name;
647640
}
648-
if rename.is_none() {
649-
ident.name = sym::dummy;
650-
}
651-
652-
self.r.dcx().emit_err(errors::CrateImported { span: item.span });
653641
}
642+
_ => {}
654643
}
655644

645+
// Handle things like `use crate;`, `use crate::{self};`, and etc.
656646
if ident.name == kw::Crate {
657647
self.r.dcx().emit_err(errors::UnnamedCrateRootImport { span: ident.span });
648+
return;
649+
} else if ident.name == kw::DollarCrate {
650+
self.r.dcx().emit_err(errors::CrateImported { span: item.span });
651+
return;
652+
} else if source.ident.name == kw::PathRoot {
653+
self.r.dcx().span_err(ident.span, "{{root}} cannot be imported");
654+
return;
655+
} else if ident.is_path_segment_keyword() {
656+
self.r.dcx().emit_err(errors::UnnamedImports { span: ident.span, ident });
657+
return;
658658
}
659659

660660
let kind = ImportKind::Single {
@@ -684,32 +684,6 @@ impl<'a, 'ra, 'tcx> BuildReducedGraphVisitor<'a, 'ra, 'tcx> {
684684
}
685685
}
686686
ast::UseTreeKind::Nested { ref items, .. } => {
687-
// Ensure there is at most one `self` in the list
688-
let self_spans = items
689-
.iter()
690-
.filter_map(|(use_tree, _)| {
691-
if let ast::UseTreeKind::Simple(..) = use_tree.kind
692-
&& use_tree.ident().name == kw::SelfLower
693-
{
694-
return Some(use_tree.span);
695-
}
696-
697-
None
698-
})
699-
.collect::<Vec<_>>();
700-
if self_spans.len() > 1 {
701-
let mut e = self.r.into_struct_error(
702-
self_spans[0],
703-
ResolutionError::SelfImportCanOnlyAppearOnceInTheList,
704-
);
705-
706-
for other_span in self_spans.iter().skip(1) {
707-
e.span_label(*other_span, "another `self` import appears here");
708-
}
709-
710-
e.emit();
711-
}
712-
713687
for &(ref tree, id) in items {
714688
self.build_reduced_graph_for_use_tree(
715689
// This particular use tree

‎compiler/rustc_resolve/src/diagnostics.rs‎

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -890,12 +890,6 @@ impl<'ra, 'tcx> Resolver<'ra, 'tcx> {
890890
mpart_suggestion,
891891
})
892892
}
893-
ResolutionError::SelfImportCanOnlyAppearOnceInTheList => {
894-
self.dcx().create_err(errs::SelfImportCanOnlyAppearOnceInTheList { span })
895-
}
896-
ResolutionError::SelfImportOnlyInImportListWithNonEmptyPrefix => {
897-
self.dcx().create_err(errs::SelfImportOnlyInImportListWithNonEmptyPrefix { span })
898-
}
899893
ResolutionError::FailedToResolve { segment, label, suggestion, module } => {
900894
let mut err =
901895
struct_span_code_err!(self.dcx(), span, E0433, "failed to resolve: {label}");

‎compiler/rustc_resolve/src/errors.rs‎

Lines changed: 8 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -204,22 +204,6 @@ pub(crate) struct UnreachableLabelWithSimilarNameExists {
204204
pub(crate) ident_span: Span,
205205
}
206206

207-
#[derive(Diagnostic)]
208-
#[diag(resolve_self_import_can_only_appear_once_in_the_list, code = E0430)]
209-
pub(crate) struct SelfImportCanOnlyAppearOnceInTheList {
210-
#[primary_span]
211-
#[label]
212-
pub(crate) span: Span,
213-
}
214-
215-
#[derive(Diagnostic)]
216-
#[diag(resolve_self_import_only_in_import_list_with_non_empty_prefix, code = E0431)]
217-
pub(crate) struct SelfImportOnlyInImportListWithNonEmptyPrefix {
218-
#[primary_span]
219-
#[label]
220-
pub(crate) span: Span,
221-
}
222-
223207
#[derive(Diagnostic)]
224208
#[diag(resolve_cannot_capture_dynamic_environment_in_fn_item, code = E0434)]
225209
#[help]
@@ -898,6 +882,14 @@ pub(crate) struct UnnamedCrateRootImport {
898882
pub(crate) span: Span,
899883
}
900884

885+
#[derive(Diagnostic)]
886+
#[diag(resolve_unnamed_imports)]
887+
pub(crate) struct UnnamedImports {
888+
#[primary_span]
889+
pub(crate) span: Span,
890+
pub(crate) ident: Ident,
891+
}
892+
901893
#[derive(Diagnostic)]
902894
#[diag(resolve_macro_expanded_extern_crate_cannot_shadow_extern_arguments)]
903895
pub(crate) struct MacroExpandedExternCrateCannotShadowExternArguments {

‎compiler/rustc_resolve/src/ident.rs‎

Lines changed: 17 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -828,7 +828,17 @@ impl<'ra, 'tcx> Resolver<'ra, 'tcx> {
828828
ignore_import: Option<Import<'ra>>,
829829
) -> Result<NameBinding<'ra>, (Determinacy, Weak)> {
830830
let module = match module {
831-
ModuleOrUniformRoot::Module(module) => module,
831+
ModuleOrUniformRoot::Module(module) => {
832+
if ns == TypeNS {
833+
if ident.name == kw::Super {
834+
if let Some(parent) = module.parent {
835+
return Ok(parent.self_binding.unwrap());
836+
}
837+
}
838+
}
839+
840+
module
841+
}
832842
ModuleOrUniformRoot::ModuleAndExternPrelude(module) => {
833843
assert_eq!(shadowing, Shadowing::Unrestricted);
834844
let binding = self.resolve_ident_in_scope_set(
@@ -865,10 +875,12 @@ impl<'ra, 'tcx> Resolver<'ra, 'tcx> {
865875
if ident.name == kw::Crate || ident.name == kw::DollarCrate {
866876
let module = self.resolve_crate_root(ident);
867877
return Ok(module.self_binding.unwrap());
868-
} else if ident.name == kw::Super || ident.name == kw::SelfLower {
869-
// FIXME: Implement these with renaming requirements so that e.g.
870-
// `use super;` doesn't work, but `use super as name;` does.
871-
// Fall through here to get an error from `early_resolve_...`.
878+
} else if ident.name == kw::Super {
879+
if let Some(parent) = parent_scope.module.parent {
880+
return Ok(parent.self_binding.unwrap());
881+
}
882+
} else if ident.name == kw::SelfLower {
883+
return Ok(parent_scope.module.self_binding.unwrap());
872884
}
873885
}
874886

‎compiler/rustc_resolve/src/lib.rs‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -263,10 +263,6 @@ enum ResolutionError<'ra> {
263263
UndeclaredLabel { name: Symbol, suggestion: Option<LabelSuggestion> },
264264
/// Error E0429: `self` imports are only allowed within a `{ }` list.
265265
SelfImportsOnlyAllowedWithin { root: bool, span_with_rename: Span },
266-
/// Error E0430: `self` import can only appear once in the list.
267-
SelfImportCanOnlyAppearOnceInTheList,
268-
/// Error E0431: `self` import can only appear in an import list with a non-empty prefix.
269-
SelfImportOnlyInImportListWithNonEmptyPrefix,
270266
/// Error E0433: failed to resolve.
271267
FailedToResolve {
272268
segment: Option<Symbol>,

0 commit comments

Comments
 (0)