]> git.lizzy.rs Git - rust.git/blob - compiler/rustc_resolve/src/diagnostics.rs
Added docs to internal_macro const
[rust.git] / compiler / rustc_resolve / src / diagnostics.rs
1 use std::cmp::Reverse;
2 use std::ptr;
3
4 use rustc_ast::{self as ast, Path};
5 use rustc_ast_pretty::pprust;
6 use rustc_data_structures::fx::FxHashSet;
7 use rustc_errors::{struct_span_err, Applicability, DiagnosticBuilder};
8 use rustc_feature::BUILTIN_ATTRIBUTES;
9 use rustc_hir::def::Namespace::{self, *};
10 use rustc_hir::def::{self, CtorKind, CtorOf, DefKind, NonMacroAttrKind};
11 use rustc_hir::def_id::{DefId, CRATE_DEF_INDEX, LOCAL_CRATE};
12 use rustc_hir::PrimTy;
13 use rustc_middle::bug;
14 use rustc_middle::ty::{self, DefIdTree};
15 use rustc_session::Session;
16 use rustc_span::hygiene::MacroKind;
17 use rustc_span::lev_distance::find_best_match_for_name;
18 use rustc_span::source_map::SourceMap;
19 use rustc_span::symbol::{kw, sym, Ident, Symbol};
20 use rustc_span::{BytePos, MultiSpan, Span};
21 use tracing::debug;
22
23 use crate::imports::{Import, ImportKind, ImportResolver};
24 use crate::path_names_to_string;
25 use crate::{AmbiguityError, AmbiguityErrorMisc, AmbiguityKind};
26 use crate::{
27     BindingError, CrateLint, HasGenericParams, MacroRulesScope, Module, ModuleOrUniformRoot,
28 };
29 use crate::{NameBinding, NameBindingKind, PrivacyError, VisResolutionError};
30 use crate::{ParentScope, PathResult, ResolutionError, Resolver, Scope, ScopeSet, Segment};
31
32 type Res = def::Res<ast::NodeId>;
33
34 /// A vector of spans and replacements, a message and applicability.
35 crate type Suggestion = (Vec<(Span, String)>, String, Applicability);
36
37 /// Potential candidate for an undeclared or out-of-scope label - contains the ident of a
38 /// similarly named label and whether or not it is reachable.
39 crate type LabelSuggestion = (Ident, bool);
40
41 crate enum SuggestionTarget {
42     /// The target has a similar name as the name used by the programmer (probably a typo)
43     SimilarlyNamed,
44     /// The target is the only valid item that can be used in the corresponding context
45     SingleItem,
46 }
47
48 crate struct TypoSuggestion {
49     pub candidate: Symbol,
50     pub res: Res,
51     pub target: SuggestionTarget,
52 }
53
54 impl TypoSuggestion {
55     crate fn typo_from_res(candidate: Symbol, res: Res) -> TypoSuggestion {
56         Self { candidate, res, target: SuggestionTarget::SimilarlyNamed }
57     }
58     crate fn single_item_from_res(candidate: Symbol, res: Res) -> TypoSuggestion {
59         Self { candidate, res, target: SuggestionTarget::SingleItem }
60     }
61 }
62
63 /// A free importable items suggested in case of resolution failure.
64 crate struct ImportSuggestion {
65     pub did: Option<DefId>,
66     pub descr: &'static str,
67     pub path: Path,
68     pub accessible: bool,
69 }
70
71 /// Adjust the impl span so that just the `impl` keyword is taken by removing
72 /// everything after `<` (`"impl<T> Iterator for A<T> {}" -> "impl"`) and
73 /// everything after the first whitespace (`"impl Iterator for A" -> "impl"`).
74 ///
75 /// *Attention*: the method used is very fragile since it essentially duplicates the work of the
76 /// parser. If you need to use this function or something similar, please consider updating the
77 /// `source_map` functions and this function to something more robust.
78 fn reduce_impl_span_to_impl_keyword(sm: &SourceMap, impl_span: Span) -> Span {
79     let impl_span = sm.span_until_char(impl_span, '<');
80     sm.span_until_whitespace(impl_span)
81 }
82
83 impl<'a> Resolver<'a> {
84     crate fn add_module_candidates(
85         &mut self,
86         module: Module<'a>,
87         names: &mut Vec<TypoSuggestion>,
88         filter_fn: &impl Fn(Res) -> bool,
89     ) {
90         for (key, resolution) in self.resolutions(module).borrow().iter() {
91             if let Some(binding) = resolution.borrow().binding {
92                 let res = binding.res();
93                 if filter_fn(res) {
94                     names.push(TypoSuggestion::typo_from_res(key.ident.name, res));
95                 }
96             }
97         }
98     }
99
100     /// Combines an error with provided span and emits it.
101     ///
102     /// This takes the error provided, combines it with the span and any additional spans inside the
103     /// error and emits it.
104     crate fn report_error(&self, span: Span, resolution_error: ResolutionError<'_>) {
105         self.into_struct_error(span, resolution_error).emit();
106     }
107
108     crate fn into_struct_error(
109         &self,
110         span: Span,
111         resolution_error: ResolutionError<'_>,
112     ) -> DiagnosticBuilder<'_> {
113         match resolution_error {
114             ResolutionError::GenericParamsFromOuterFunction(outer_res, has_generic_params) => {
115                 let mut err = struct_span_err!(
116                     self.session,
117                     span,
118                     E0401,
119                     "can't use generic parameters from outer function",
120                 );
121                 err.span_label(span, "use of generic parameter from outer function".to_string());
122
123                 let sm = self.session.source_map();
124                 match outer_res {
125                     Res::SelfTy(maybe_trait_defid, maybe_impl_defid) => {
126                         if let Some(impl_span) =
127                             maybe_impl_defid.and_then(|(def_id, _)| self.opt_span(def_id))
128                         {
129                             err.span_label(
130                                 reduce_impl_span_to_impl_keyword(sm, impl_span),
131                                 "`Self` type implicitly declared here, by this `impl`",
132                             );
133                         }
134                         match (maybe_trait_defid, maybe_impl_defid) {
135                             (Some(_), None) => {
136                                 err.span_label(span, "can't use `Self` here");
137                             }
138                             (_, Some(_)) => {
139                                 err.span_label(span, "use a type here instead");
140                             }
141                             (None, None) => bug!("`impl` without trait nor type?"),
142                         }
143                         return err;
144                     }
145                     Res::Def(DefKind::TyParam, def_id) => {
146                         if let Some(span) = self.opt_span(def_id) {
147                             err.span_label(span, "type parameter from outer function");
148                         }
149                     }
150                     Res::Def(DefKind::ConstParam, def_id) => {
151                         if let Some(span) = self.opt_span(def_id) {
152                             err.span_label(span, "const parameter from outer function");
153                         }
154                     }
155                     _ => {
156                         bug!(
157                             "GenericParamsFromOuterFunction should only be used with Res::SelfTy, \
158                             DefKind::TyParam or DefKind::ConstParam"
159                         );
160                     }
161                 }
162
163                 if has_generic_params == HasGenericParams::Yes {
164                     // Try to retrieve the span of the function signature and generate a new
165                     // message with a local type or const parameter.
166                     let sugg_msg = "try using a local generic parameter instead";
167                     if let Some((sugg_span, snippet)) = sm.generate_local_type_param_snippet(span) {
168                         // Suggest the modification to the user
169                         err.span_suggestion(
170                             sugg_span,
171                             sugg_msg,
172                             snippet,
173                             Applicability::MachineApplicable,
174                         );
175                     } else if let Some(sp) = sm.generate_fn_name_span(span) {
176                         err.span_label(
177                             sp,
178                             "try adding a local generic parameter in this method instead"
179                                 .to_string(),
180                         );
181                     } else {
182                         err.help("try using a local generic parameter instead");
183                     }
184                 }
185
186                 err
187             }
188             ResolutionError::NameAlreadyUsedInParameterList(name, first_use_span) => {
189                 let mut err = struct_span_err!(
190                     self.session,
191                     span,
192                     E0403,
193                     "the name `{}` is already used for a generic \
194                      parameter in this item's generic parameters",
195                     name,
196                 );
197                 err.span_label(span, "already used");
198                 err.span_label(first_use_span, format!("first use of `{}`", name));
199                 err
200             }
201             ResolutionError::MethodNotMemberOfTrait(method, trait_, candidate) => {
202                 let mut err = struct_span_err!(
203                     self.session,
204                     span,
205                     E0407,
206                     "method `{}` is not a member of trait `{}`",
207                     method,
208                     trait_
209                 );
210                 err.span_label(span, format!("not a member of trait `{}`", trait_));
211                 if let Some(candidate) = candidate {
212                     err.span_suggestion(
213                         method.span,
214                         "there is an associated function with a similar name",
215                         candidate.to_ident_string(),
216                         Applicability::MaybeIncorrect,
217                     );
218                 }
219                 err
220             }
221             ResolutionError::TypeNotMemberOfTrait(type_, trait_, candidate) => {
222                 let mut err = struct_span_err!(
223                     self.session,
224                     span,
225                     E0437,
226                     "type `{}` is not a member of trait `{}`",
227                     type_,
228                     trait_
229                 );
230                 err.span_label(span, format!("not a member of trait `{}`", trait_));
231                 if let Some(candidate) = candidate {
232                     err.span_suggestion(
233                         type_.span,
234                         "there is an associated type with a similar name",
235                         candidate.to_ident_string(),
236                         Applicability::MaybeIncorrect,
237                     );
238                 }
239                 err
240             }
241             ResolutionError::ConstNotMemberOfTrait(const_, trait_, candidate) => {
242                 let mut err = struct_span_err!(
243                     self.session,
244                     span,
245                     E0438,
246                     "const `{}` is not a member of trait `{}`",
247                     const_,
248                     trait_
249                 );
250                 err.span_label(span, format!("not a member of trait `{}`", trait_));
251                 if let Some(candidate) = candidate {
252                     err.span_suggestion(
253                         const_.span,
254                         "there is an associated constant with a similar name",
255                         candidate.to_ident_string(),
256                         Applicability::MaybeIncorrect,
257                     );
258                 }
259                 err
260             }
261             ResolutionError::VariableNotBoundInPattern(binding_error) => {
262                 let BindingError { name, target, origin, could_be_path } = binding_error;
263
264                 let target_sp = target.iter().copied().collect::<Vec<_>>();
265                 let origin_sp = origin.iter().copied().collect::<Vec<_>>();
266
267                 let msp = MultiSpan::from_spans(target_sp.clone());
268                 let mut err = struct_span_err!(
269                     self.session,
270                     msp,
271                     E0408,
272                     "variable `{}` is not bound in all patterns",
273                     name,
274                 );
275                 for sp in target_sp {
276                     err.span_label(sp, format!("pattern doesn't bind `{}`", name));
277                 }
278                 for sp in origin_sp {
279                     err.span_label(sp, "variable not in all patterns");
280                 }
281                 if *could_be_path {
282                     let help_msg = format!(
283                         "if you meant to match on a variant or a `const` item, consider \
284                          making the path in the pattern qualified: `?::{}`",
285                         name,
286                     );
287                     err.span_help(span, &help_msg);
288                 }
289                 err
290             }
291             ResolutionError::VariableBoundWithDifferentMode(variable_name, first_binding_span) => {
292                 let mut err = struct_span_err!(
293                     self.session,
294                     span,
295                     E0409,
296                     "variable `{}` is bound inconsistently across alternatives separated by `|`",
297                     variable_name
298                 );
299                 err.span_label(span, "bound in different ways");
300                 err.span_label(first_binding_span, "first binding");
301                 err
302             }
303             ResolutionError::IdentifierBoundMoreThanOnceInParameterList(identifier) => {
304                 let mut err = struct_span_err!(
305                     self.session,
306                     span,
307                     E0415,
308                     "identifier `{}` is bound more than once in this parameter list",
309                     identifier
310                 );
311                 err.span_label(span, "used as parameter more than once");
312                 err
313             }
314             ResolutionError::IdentifierBoundMoreThanOnceInSamePattern(identifier) => {
315                 let mut err = struct_span_err!(
316                     self.session,
317                     span,
318                     E0416,
319                     "identifier `{}` is bound more than once in the same pattern",
320                     identifier
321                 );
322                 err.span_label(span, "used in a pattern more than once");
323                 err
324             }
325             ResolutionError::UndeclaredLabel { name, suggestion } => {
326                 let mut err = struct_span_err!(
327                     self.session,
328                     span,
329                     E0426,
330                     "use of undeclared label `{}`",
331                     name
332                 );
333
334                 err.span_label(span, format!("undeclared label `{}`", name));
335
336                 match suggestion {
337                     // A reachable label with a similar name exists.
338                     Some((ident, true)) => {
339                         err.span_label(ident.span, "a label with a similar name is reachable");
340                         err.span_suggestion(
341                             span,
342                             "try using similarly named label",
343                             ident.name.to_string(),
344                             Applicability::MaybeIncorrect,
345                         );
346                     }
347                     // An unreachable label with a similar name exists.
348                     Some((ident, false)) => {
349                         err.span_label(
350                             ident.span,
351                             "a label with a similar name exists but is unreachable",
352                         );
353                     }
354                     // No similarly-named labels exist.
355                     None => (),
356                 }
357
358                 err
359             }
360             ResolutionError::SelfImportsOnlyAllowedWithin { root, span_with_rename } => {
361                 let mut err = struct_span_err!(
362                     self.session,
363                     span,
364                     E0429,
365                     "{}",
366                     "`self` imports are only allowed within a { } list"
367                 );
368
369                 // None of the suggestions below would help with a case like `use self`.
370                 if !root {
371                     // use foo::bar::self        -> foo::bar
372                     // use foo::bar::self as abc -> foo::bar as abc
373                     err.span_suggestion(
374                         span,
375                         "consider importing the module directly",
376                         "".to_string(),
377                         Applicability::MachineApplicable,
378                     );
379
380                     // use foo::bar::self        -> foo::bar::{self}
381                     // use foo::bar::self as abc -> foo::bar::{self as abc}
382                     let braces = vec![
383                         (span_with_rename.shrink_to_lo(), "{".to_string()),
384                         (span_with_rename.shrink_to_hi(), "}".to_string()),
385                     ];
386                     err.multipart_suggestion(
387                         "alternatively, use the multi-path `use` syntax to import `self`",
388                         braces,
389                         Applicability::MachineApplicable,
390                     );
391                 }
392                 err
393             }
394             ResolutionError::SelfImportCanOnlyAppearOnceInTheList => {
395                 let mut err = struct_span_err!(
396                     self.session,
397                     span,
398                     E0430,
399                     "`self` import can only appear once in an import list"
400                 );
401                 err.span_label(span, "can only appear once in an import list");
402                 err
403             }
404             ResolutionError::SelfImportOnlyInImportListWithNonEmptyPrefix => {
405                 let mut err = struct_span_err!(
406                     self.session,
407                     span,
408                     E0431,
409                     "`self` import can only appear in an import list with \
410                                                 a non-empty prefix"
411                 );
412                 err.span_label(span, "can only appear in an import list with a non-empty prefix");
413                 err
414             }
415             ResolutionError::FailedToResolve { label, suggestion } => {
416                 let mut err =
417                     struct_span_err!(self.session, span, E0433, "failed to resolve: {}", &label);
418                 err.span_label(span, label);
419
420                 if let Some((suggestions, msg, applicability)) = suggestion {
421                     err.multipart_suggestion(&msg, suggestions, applicability);
422                 }
423
424                 err
425             }
426             ResolutionError::CannotCaptureDynamicEnvironmentInFnItem => {
427                 let mut err = struct_span_err!(
428                     self.session,
429                     span,
430                     E0434,
431                     "{}",
432                     "can't capture dynamic environment in a fn item"
433                 );
434                 err.help("use the `|| { ... }` closure form instead");
435                 err
436             }
437             ResolutionError::AttemptToUseNonConstantValueInConstant(ident, sugg, current) => {
438                 let mut err = struct_span_err!(
439                     self.session,
440                     span,
441                     E0435,
442                     "attempt to use a non-constant value in a constant"
443                 );
444                 // let foo =...
445                 //     ^^^ given this Span
446                 // ------- get this Span to have an applicable suggestion
447                 let sp =
448                     self.session.source_map().span_extend_to_prev_str(ident.span, current, true);
449                 if sp.lo().0 == 0 {
450                     err.span_label(ident.span, &format!("this would need to be a `{}`", sugg));
451                 } else {
452                     let sp = sp.with_lo(BytePos(sp.lo().0 - current.len() as u32));
453                     err.span_suggestion(
454                         sp,
455                         &format!("consider using `{}` instead of `{}`", sugg, current),
456                         format!("{} {}", sugg, ident),
457                         Applicability::MaybeIncorrect,
458                     );
459                     err.span_label(span, "non-constant value");
460                 }
461                 err
462             }
463             ResolutionError::BindingShadowsSomethingUnacceptable {
464                 shadowing_binding_descr,
465                 name,
466                 participle,
467                 article,
468                 shadowed_binding_descr,
469                 shadowed_binding_span,
470             } => {
471                 let mut err = struct_span_err!(
472                     self.session,
473                     span,
474                     E0530,
475                     "{}s cannot shadow {}s",
476                     shadowing_binding_descr,
477                     shadowed_binding_descr,
478                 );
479                 err.span_label(
480                     span,
481                     format!("cannot be named the same as {} {}", article, shadowed_binding_descr),
482                 );
483                 let msg =
484                     format!("the {} `{}` is {} here", shadowed_binding_descr, name, participle);
485                 err.span_label(shadowed_binding_span, msg);
486                 err
487             }
488             ResolutionError::ForwardDeclaredGenericParam => {
489                 let mut err = struct_span_err!(
490                     self.session,
491                     span,
492                     E0128,
493                     "generic parameters with a default cannot use \
494                                                 forward declared identifiers"
495                 );
496                 err.span_label(
497                     span,
498                     "defaulted generic parameters cannot be forward declared".to_string(),
499                 );
500                 err
501             }
502             ResolutionError::ParamInTyOfConstParam(name) => {
503                 let mut err = struct_span_err!(
504                     self.session,
505                     span,
506                     E0770,
507                     "the type of const parameters must not depend on other generic parameters"
508                 );
509                 err.span_label(
510                     span,
511                     format!("the type must not depend on the parameter `{}`", name),
512                 );
513                 err
514             }
515             ResolutionError::ParamInNonTrivialAnonConst { name, is_type } => {
516                 let mut err = self.session.struct_span_err(
517                     span,
518                     "generic parameters may not be used in const operations",
519                 );
520                 err.span_label(span, &format!("cannot perform const operation using `{}`", name));
521
522                 if is_type {
523                     err.note("type parameters may not be used in const expressions");
524                 } else {
525                     err.help(&format!(
526                         "const parameters may only be used as standalone arguments, i.e. `{}`",
527                         name
528                     ));
529                 }
530
531                 if self.session.is_nightly_build() {
532                     err.help(
533                         "use `#![feature(generic_const_exprs)]` to allow generic const expressions",
534                     );
535                 }
536
537                 err
538             }
539             ResolutionError::SelfInGenericParamDefault => {
540                 let mut err = struct_span_err!(
541                     self.session,
542                     span,
543                     E0735,
544                     "generic parameters cannot use `Self` in their defaults"
545                 );
546                 err.span_label(span, "`Self` in generic parameter default".to_string());
547                 err
548             }
549             ResolutionError::UnreachableLabel { name, definition_span, suggestion } => {
550                 let mut err = struct_span_err!(
551                     self.session,
552                     span,
553                     E0767,
554                     "use of unreachable label `{}`",
555                     name,
556                 );
557
558                 err.span_label(definition_span, "unreachable label defined here");
559                 err.span_label(span, format!("unreachable label `{}`", name));
560                 err.note(
561                     "labels are unreachable through functions, closures, async blocks and modules",
562                 );
563
564                 match suggestion {
565                     // A reachable label with a similar name exists.
566                     Some((ident, true)) => {
567                         err.span_label(ident.span, "a label with a similar name is reachable");
568                         err.span_suggestion(
569                             span,
570                             "try using similarly named label",
571                             ident.name.to_string(),
572                             Applicability::MaybeIncorrect,
573                         );
574                     }
575                     // An unreachable label with a similar name exists.
576                     Some((ident, false)) => {
577                         err.span_label(
578                             ident.span,
579                             "a label with a similar name exists but is also unreachable",
580                         );
581                     }
582                     // No similarly-named labels exist.
583                     None => (),
584                 }
585
586                 err
587             }
588         }
589     }
590
591     crate fn report_vis_error(&self, vis_resolution_error: VisResolutionError<'_>) {
592         match vis_resolution_error {
593             VisResolutionError::Relative2018(span, path) => {
594                 let mut err = self.session.struct_span_err(
595                     span,
596                     "relative paths are not supported in visibilities on 2018 edition",
597                 );
598                 err.span_suggestion(
599                     path.span,
600                     "try",
601                     format!("crate::{}", pprust::path_to_string(&path)),
602                     Applicability::MaybeIncorrect,
603                 );
604                 err
605             }
606             VisResolutionError::AncestorOnly(span) => struct_span_err!(
607                 self.session,
608                 span,
609                 E0742,
610                 "visibilities can only be restricted to ancestor modules"
611             ),
612             VisResolutionError::FailedToResolve(span, label, suggestion) => {
613                 self.into_struct_error(span, ResolutionError::FailedToResolve { label, suggestion })
614             }
615             VisResolutionError::ExpectedFound(span, path_str, res) => {
616                 let mut err = struct_span_err!(
617                     self.session,
618                     span,
619                     E0577,
620                     "expected module, found {} `{}`",
621                     res.descr(),
622                     path_str
623                 );
624                 err.span_label(span, "not a module");
625                 err
626             }
627             VisResolutionError::Indeterminate(span) => struct_span_err!(
628                 self.session,
629                 span,
630                 E0578,
631                 "cannot determine resolution for the visibility"
632             ),
633             VisResolutionError::ModuleOnly(span) => {
634                 self.session.struct_span_err(span, "visibility must resolve to a module")
635             }
636         }
637         .emit()
638     }
639
640     /// Lookup typo candidate in scope for a macro or import.
641     fn early_lookup_typo_candidate(
642         &mut self,
643         scope_set: ScopeSet<'a>,
644         parent_scope: &ParentScope<'a>,
645         ident: Ident,
646         filter_fn: &impl Fn(Res) -> bool,
647     ) -> Option<TypoSuggestion> {
648         let mut suggestions = Vec::new();
649         let ctxt = ident.span.ctxt();
650         self.visit_scopes(scope_set, parent_scope, ctxt, |this, scope, use_prelude, _| {
651             match scope {
652                 Scope::DeriveHelpers(expn_id) => {
653                     let res = Res::NonMacroAttr(NonMacroAttrKind::DeriveHelper);
654                     if filter_fn(res) {
655                         suggestions.extend(
656                             this.helper_attrs
657                                 .get(&expn_id)
658                                 .into_iter()
659                                 .flatten()
660                                 .map(|ident| TypoSuggestion::typo_from_res(ident.name, res)),
661                         );
662                     }
663                 }
664                 Scope::DeriveHelpersCompat => {
665                     let res = Res::NonMacroAttr(NonMacroAttrKind::DeriveHelperCompat);
666                     if filter_fn(res) {
667                         for derive in parent_scope.derives {
668                             let parent_scope = &ParentScope { derives: &[], ..*parent_scope };
669                             if let Ok((Some(ext), _)) = this.resolve_macro_path(
670                                 derive,
671                                 Some(MacroKind::Derive),
672                                 parent_scope,
673                                 false,
674                                 false,
675                             ) {
676                                 suggestions.extend(
677                                     ext.helper_attrs
678                                         .iter()
679                                         .map(|name| TypoSuggestion::typo_from_res(*name, res)),
680                                 );
681                             }
682                         }
683                     }
684                 }
685                 Scope::MacroRules(macro_rules_scope) => {
686                     if let MacroRulesScope::Binding(macro_rules_binding) = macro_rules_scope.get() {
687                         let res = macro_rules_binding.binding.res();
688                         if filter_fn(res) {
689                             suggestions.push(TypoSuggestion::typo_from_res(
690                                 macro_rules_binding.ident.name,
691                                 res,
692                             ))
693                         }
694                     }
695                 }
696                 Scope::CrateRoot => {
697                     let root_ident = Ident::new(kw::PathRoot, ident.span);
698                     let root_module = this.resolve_crate_root(root_ident);
699                     this.add_module_candidates(root_module, &mut suggestions, filter_fn);
700                 }
701                 Scope::Module(module, _) => {
702                     this.add_module_candidates(module, &mut suggestions, filter_fn);
703                 }
704                 Scope::RegisteredAttrs => {
705                     let res = Res::NonMacroAttr(NonMacroAttrKind::Registered);
706                     if filter_fn(res) {
707                         suggestions.extend(
708                             this.registered_attrs
709                                 .iter()
710                                 .map(|ident| TypoSuggestion::typo_from_res(ident.name, res)),
711                         );
712                     }
713                 }
714                 Scope::MacroUsePrelude => {
715                     suggestions.extend(this.macro_use_prelude.iter().filter_map(
716                         |(name, binding)| {
717                             let res = binding.res();
718                             filter_fn(res).then_some(TypoSuggestion::typo_from_res(*name, res))
719                         },
720                     ));
721                 }
722                 Scope::BuiltinAttrs => {
723                     let res = Res::NonMacroAttr(NonMacroAttrKind::Builtin(kw::Empty));
724                     if filter_fn(res) {
725                         suggestions.extend(
726                             BUILTIN_ATTRIBUTES
727                                 .iter()
728                                 .map(|(name, ..)| TypoSuggestion::typo_from_res(*name, res)),
729                         );
730                     }
731                 }
732                 Scope::ExternPrelude => {
733                     suggestions.extend(this.extern_prelude.iter().filter_map(|(ident, _)| {
734                         let res = Res::Def(DefKind::Mod, DefId::local(CRATE_DEF_INDEX));
735                         filter_fn(res).then_some(TypoSuggestion::typo_from_res(ident.name, res))
736                     }));
737                 }
738                 Scope::ToolPrelude => {
739                     let res = Res::NonMacroAttr(NonMacroAttrKind::Tool);
740                     suggestions.extend(
741                         this.registered_tools
742                             .iter()
743                             .map(|ident| TypoSuggestion::typo_from_res(ident.name, res)),
744                     );
745                 }
746                 Scope::StdLibPrelude => {
747                     if let Some(prelude) = this.prelude {
748                         let mut tmp_suggestions = Vec::new();
749                         this.add_module_candidates(prelude, &mut tmp_suggestions, filter_fn);
750                         suggestions.extend(
751                             tmp_suggestions
752                                 .into_iter()
753                                 .filter(|s| use_prelude || this.is_builtin_macro(s.res)),
754                         );
755                     }
756                 }
757                 Scope::BuiltinTypes => {
758                     suggestions.extend(PrimTy::ALL.iter().filter_map(|prim_ty| {
759                         let res = Res::PrimTy(*prim_ty);
760                         filter_fn(res).then_some(TypoSuggestion::typo_from_res(prim_ty.name(), res))
761                     }))
762                 }
763             }
764
765             None::<()>
766         });
767
768         // Make sure error reporting is deterministic.
769         suggestions.sort_by_cached_key(|suggestion| suggestion.candidate.as_str());
770
771         match find_best_match_for_name(
772             &suggestions.iter().map(|suggestion| suggestion.candidate).collect::<Vec<Symbol>>(),
773             ident.name,
774             None,
775         ) {
776             Some(found) if found != ident.name => {
777                 suggestions.into_iter().find(|suggestion| suggestion.candidate == found)
778             }
779             _ => None,
780         }
781     }
782
783     fn lookup_import_candidates_from_module<FilterFn>(
784         &mut self,
785         lookup_ident: Ident,
786         namespace: Namespace,
787         parent_scope: &ParentScope<'a>,
788         start_module: Module<'a>,
789         crate_name: Ident,
790         filter_fn: FilterFn,
791     ) -> Vec<ImportSuggestion>
792     where
793         FilterFn: Fn(Res) -> bool,
794     {
795         let mut candidates = Vec::new();
796         let mut seen_modules = FxHashSet::default();
797         let mut worklist = vec![(start_module, Vec::<ast::PathSegment>::new(), true)];
798         let mut worklist_via_import = vec![];
799
800         while let Some((in_module, path_segments, accessible)) = match worklist.pop() {
801             None => worklist_via_import.pop(),
802             Some(x) => Some(x),
803         } {
804             let in_module_is_extern = !in_module.def_id().is_local();
805             // We have to visit module children in deterministic order to avoid
806             // instabilities in reported imports (#43552).
807             in_module.for_each_child(self, |this, ident, ns, name_binding| {
808                 // avoid non-importable candidates
809                 if !name_binding.is_importable() {
810                     return;
811                 }
812
813                 let child_accessible =
814                     accessible && this.is_accessible_from(name_binding.vis, parent_scope.module);
815
816                 // do not venture inside inaccessible items of other crates
817                 if in_module_is_extern && !child_accessible {
818                     return;
819                 }
820
821                 let via_import = name_binding.is_import() && !name_binding.is_extern_crate();
822
823                 // There is an assumption elsewhere that paths of variants are in the enum's
824                 // declaration and not imported. With this assumption, the variant component is
825                 // chopped and the rest of the path is assumed to be the enum's own path. For
826                 // errors where a variant is used as the type instead of the enum, this causes
827                 // funny looking invalid suggestions, i.e `foo` instead of `foo::MyEnum`.
828                 if via_import && name_binding.is_possibly_imported_variant() {
829                     return;
830                 }
831
832                 // collect results based on the filter function
833                 // avoid suggesting anything from the same module in which we are resolving
834                 if ident.name == lookup_ident.name
835                     && ns == namespace
836                     && !ptr::eq(in_module, parent_scope.module)
837                 {
838                     let res = name_binding.res();
839                     if filter_fn(res) {
840                         // create the path
841                         let mut segms = path_segments.clone();
842                         if lookup_ident.span.rust_2018() {
843                             // crate-local absolute paths start with `crate::` in edition 2018
844                             // FIXME: may also be stabilized for Rust 2015 (Issues #45477, #44660)
845                             segms.insert(0, ast::PathSegment::from_ident(crate_name));
846                         }
847
848                         segms.push(ast::PathSegment::from_ident(ident));
849                         let path = Path { span: name_binding.span, segments: segms, tokens: None };
850                         let did = match res {
851                             Res::Def(DefKind::Ctor(..), did) => this.parent(did),
852                             _ => res.opt_def_id(),
853                         };
854
855                         if child_accessible {
856                             // Remove invisible match if exists
857                             if let Some(idx) = candidates
858                                 .iter()
859                                 .position(|v: &ImportSuggestion| v.did == did && !v.accessible)
860                             {
861                                 candidates.remove(idx);
862                             }
863                         }
864
865                         if candidates.iter().all(|v: &ImportSuggestion| v.did != did) {
866                             candidates.push(ImportSuggestion {
867                                 did,
868                                 descr: res.descr(),
869                                 path,
870                                 accessible: child_accessible,
871                             });
872                         }
873                     }
874                 }
875
876                 // collect submodules to explore
877                 if let Some(module) = name_binding.module() {
878                     // form the path
879                     let mut path_segments = path_segments.clone();
880                     path_segments.push(ast::PathSegment::from_ident(ident));
881
882                     let is_extern_crate_that_also_appears_in_prelude =
883                         name_binding.is_extern_crate() && lookup_ident.span.rust_2018();
884
885                     if !is_extern_crate_that_also_appears_in_prelude {
886                         // add the module to the lookup
887                         if seen_modules.insert(module.def_id()) {
888                             if via_import { &mut worklist_via_import } else { &mut worklist }
889                                 .push((module, path_segments, child_accessible));
890                         }
891                     }
892                 }
893             })
894         }
895
896         // If only some candidates are accessible, take just them
897         if !candidates.iter().all(|v: &ImportSuggestion| !v.accessible) {
898             candidates = candidates.into_iter().filter(|x| x.accessible).collect();
899         }
900
901         candidates
902     }
903
904     /// When name resolution fails, this method can be used to look up candidate
905     /// entities with the expected name. It allows filtering them using the
906     /// supplied predicate (which should be used to only accept the types of
907     /// definitions expected, e.g., traits). The lookup spans across all crates.
908     ///
909     /// N.B., the method does not look into imports, but this is not a problem,
910     /// since we report the definitions (thus, the de-aliased imports).
911     crate fn lookup_import_candidates<FilterFn>(
912         &mut self,
913         lookup_ident: Ident,
914         namespace: Namespace,
915         parent_scope: &ParentScope<'a>,
916         filter_fn: FilterFn,
917     ) -> Vec<ImportSuggestion>
918     where
919         FilterFn: Fn(Res) -> bool,
920     {
921         let mut suggestions = self.lookup_import_candidates_from_module(
922             lookup_ident,
923             namespace,
924             parent_scope,
925             self.graph_root,
926             Ident::with_dummy_span(kw::Crate),
927             &filter_fn,
928         );
929
930         if lookup_ident.span.rust_2018() {
931             let extern_prelude_names = self.extern_prelude.clone();
932             for (ident, _) in extern_prelude_names.into_iter() {
933                 if ident.span.from_expansion() {
934                     // Idents are adjusted to the root context before being
935                     // resolved in the extern prelude, so reporting this to the
936                     // user is no help. This skips the injected
937                     // `extern crate std` in the 2018 edition, which would
938                     // otherwise cause duplicate suggestions.
939                     continue;
940                 }
941                 if let Some(crate_id) = self.crate_loader.maybe_process_path_extern(ident.name) {
942                     let crate_root = self.expect_module(crate_id.as_def_id());
943                     suggestions.extend(self.lookup_import_candidates_from_module(
944                         lookup_ident,
945                         namespace,
946                         parent_scope,
947                         crate_root,
948                         ident,
949                         &filter_fn,
950                     ));
951                 }
952             }
953         }
954
955         suggestions
956     }
957
958     crate fn unresolved_macro_suggestions(
959         &mut self,
960         err: &mut DiagnosticBuilder<'a>,
961         macro_kind: MacroKind,
962         parent_scope: &ParentScope<'a>,
963         ident: Ident,
964     ) {
965         let is_expected = &|res: Res| res.macro_kind() == Some(macro_kind);
966         let suggestion = self.early_lookup_typo_candidate(
967             ScopeSet::Macro(macro_kind),
968             parent_scope,
969             ident,
970             is_expected,
971         );
972         self.add_typo_suggestion(err, suggestion, ident.span);
973
974         let import_suggestions =
975             self.lookup_import_candidates(ident, Namespace::MacroNS, parent_scope, is_expected);
976         show_candidates(
977             &self.definitions,
978             self.session,
979             err,
980             None,
981             &import_suggestions,
982             false,
983             true,
984         );
985
986         if macro_kind == MacroKind::Derive && (ident.name == sym::Send || ident.name == sym::Sync) {
987             let msg = format!("unsafe traits like `{}` should be implemented explicitly", ident);
988             err.span_note(ident.span, &msg);
989             return;
990         }
991         if self.macro_names.contains(&ident.normalize_to_macros_2_0()) {
992             err.help("have you added the `#[macro_use]` on the module/import?");
993             return;
994         }
995         for ns in [Namespace::MacroNS, Namespace::TypeNS, Namespace::ValueNS] {
996             if let Ok(binding) = self.early_resolve_ident_in_lexical_scope(
997                 ident,
998                 ScopeSet::All(ns, false),
999                 &parent_scope,
1000                 false,
1001                 false,
1002                 ident.span,
1003             ) {
1004                 let desc = match binding.res() {
1005                     Res::Def(DefKind::Macro(MacroKind::Bang), _) => {
1006                         "a function-like macro".to_string()
1007                     }
1008                     Res::Def(DefKind::Macro(MacroKind::Attr), _) | Res::NonMacroAttr(..) => {
1009                         format!("an attribute: `#[{}]`", ident)
1010                     }
1011                     Res::Def(DefKind::Macro(MacroKind::Derive), _) => {
1012                         format!("a derive macro: `#[derive({})]`", ident)
1013                     }
1014                     Res::ToolMod => {
1015                         // Don't confuse the user with tool modules.
1016                         continue;
1017                     }
1018                     Res::Def(DefKind::Trait, _) if macro_kind == MacroKind::Derive => {
1019                         "only a trait, without a derive macro".to_string()
1020                     }
1021                     res => format!(
1022                         "{} {}, not {} {}",
1023                         res.article(),
1024                         res.descr(),
1025                         macro_kind.article(),
1026                         macro_kind.descr_expected(),
1027                     ),
1028                 };
1029                 if let crate::NameBindingKind::Import { import, .. } = binding.kind {
1030                     if !import.span.is_dummy() {
1031                         err.span_note(
1032                             import.span,
1033                             &format!("`{}` is imported here, but it is {}", ident, desc),
1034                         );
1035                         // Silence the 'unused import' warning we might get,
1036                         // since this diagnostic already covers that import.
1037                         self.record_use(ident, binding, false);
1038                         return;
1039                     }
1040                 }
1041                 err.note(&format!("`{}` is in scope, but it is {}", ident, desc));
1042                 return;
1043             }
1044         }
1045     }
1046
1047     crate fn add_typo_suggestion(
1048         &self,
1049         err: &mut DiagnosticBuilder<'_>,
1050         suggestion: Option<TypoSuggestion>,
1051         span: Span,
1052     ) -> bool {
1053         let suggestion = match suggestion {
1054             None => return false,
1055             // We shouldn't suggest underscore.
1056             Some(suggestion) if suggestion.candidate == kw::Underscore => return false,
1057             Some(suggestion) => suggestion,
1058         };
1059         let def_span = suggestion.res.opt_def_id().and_then(|def_id| match def_id.krate {
1060             LOCAL_CRATE => self.opt_span(def_id),
1061             _ => Some(
1062                 self.session
1063                     .source_map()
1064                     .guess_head_span(self.cstore().get_span_untracked(def_id, self.session)),
1065             ),
1066         });
1067         if let Some(def_span) = def_span {
1068             if span.overlaps(def_span) {
1069                 // Don't suggest typo suggestion for itself like in the following:
1070                 // error[E0423]: expected function, tuple struct or tuple variant, found struct `X`
1071                 //   --> $DIR/issue-64792-bad-unicode-ctor.rs:3:14
1072                 //    |
1073                 // LL | struct X {}
1074                 //    | ----------- `X` defined here
1075                 // LL |
1076                 // LL | const Y: X = X("ö");
1077                 //    | -------------^^^^^^- similarly named constant `Y` defined here
1078                 //    |
1079                 // help: use struct literal syntax instead
1080                 //    |
1081                 // LL | const Y: X = X {};
1082                 //    |              ^^^^
1083                 // help: a constant with a similar name exists
1084                 //    |
1085                 // LL | const Y: X = Y("ö");
1086                 //    |              ^
1087                 return false;
1088             }
1089             let prefix = match suggestion.target {
1090                 SuggestionTarget::SimilarlyNamed => "similarly named ",
1091                 SuggestionTarget::SingleItem => "",
1092             };
1093
1094             err.span_label(
1095                 self.session.source_map().guess_head_span(def_span),
1096                 &format!(
1097                     "{}{} `{}` defined here",
1098                     prefix,
1099                     suggestion.res.descr(),
1100                     suggestion.candidate.as_str(),
1101                 ),
1102             );
1103         }
1104         let msg = match suggestion.target {
1105             SuggestionTarget::SimilarlyNamed => format!(
1106                 "{} {} with a similar name exists",
1107                 suggestion.res.article(),
1108                 suggestion.res.descr()
1109             ),
1110             SuggestionTarget::SingleItem => {
1111                 format!("maybe you meant this {}", suggestion.res.descr())
1112             }
1113         };
1114         err.span_suggestion(
1115             span,
1116             &msg,
1117             suggestion.candidate.to_string(),
1118             Applicability::MaybeIncorrect,
1119         );
1120         true
1121     }
1122
1123     fn binding_description(&self, b: &NameBinding<'_>, ident: Ident, from_prelude: bool) -> String {
1124         let res = b.res();
1125         if b.span.is_dummy() {
1126             // These already contain the "built-in" prefix or look bad with it.
1127             let add_built_in =
1128                 !matches!(b.res(), Res::NonMacroAttr(..) | Res::PrimTy(..) | Res::ToolMod);
1129             let (built_in, from) = if from_prelude {
1130                 ("", " from prelude")
1131             } else if b.is_extern_crate()
1132                 && !b.is_import()
1133                 && self.session.opts.externs.get(&ident.as_str()).is_some()
1134             {
1135                 ("", " passed with `--extern`")
1136             } else if add_built_in {
1137                 (" built-in", "")
1138             } else {
1139                 ("", "")
1140             };
1141
1142             let a = if built_in.is_empty() { res.article() } else { "a" };
1143             format!("{a}{built_in} {thing}{from}", thing = res.descr())
1144         } else {
1145             let introduced = if b.is_import() { "imported" } else { "defined" };
1146             format!("the {thing} {introduced} here", thing = res.descr())
1147         }
1148     }
1149
1150     crate fn report_ambiguity_error(&self, ambiguity_error: &AmbiguityError<'_>) {
1151         let AmbiguityError { kind, ident, b1, b2, misc1, misc2 } = *ambiguity_error;
1152         let (b1, b2, misc1, misc2, swapped) = if b2.span.is_dummy() && !b1.span.is_dummy() {
1153             // We have to print the span-less alternative first, otherwise formatting looks bad.
1154             (b2, b1, misc2, misc1, true)
1155         } else {
1156             (b1, b2, misc1, misc2, false)
1157         };
1158
1159         let mut err = struct_span_err!(
1160             self.session,
1161             ident.span,
1162             E0659,
1163             "`{ident}` is ambiguous ({why})",
1164             why = kind.descr()
1165         );
1166         err.span_label(ident.span, "ambiguous name");
1167
1168         let mut could_refer_to = |b: &NameBinding<'_>, misc: AmbiguityErrorMisc, also: &str| {
1169             let what = self.binding_description(b, ident, misc == AmbiguityErrorMisc::FromPrelude);
1170             let note_msg = format!("`{ident}` could{also} refer to {what}");
1171
1172             let thing = b.res().descr();
1173             let mut help_msgs = Vec::new();
1174             if b.is_glob_import()
1175                 && (kind == AmbiguityKind::GlobVsGlob
1176                     || kind == AmbiguityKind::GlobVsExpanded
1177                     || kind == AmbiguityKind::GlobVsOuter && swapped != also.is_empty())
1178             {
1179                 help_msgs.push(format!(
1180                     "consider adding an explicit import of `{ident}` to disambiguate"
1181                 ))
1182             }
1183             if b.is_extern_crate() && ident.span.rust_2018() {
1184                 help_msgs.push(format!("use `::{ident}` to refer to this {thing} unambiguously"))
1185             }
1186             if misc == AmbiguityErrorMisc::SuggestCrate {
1187                 help_msgs
1188                     .push(format!("use `crate::{ident}` to refer to this {thing} unambiguously"))
1189             } else if misc == AmbiguityErrorMisc::SuggestSelf {
1190                 help_msgs
1191                     .push(format!("use `self::{ident}` to refer to this {thing} unambiguously"))
1192             }
1193
1194             err.span_note(b.span, &note_msg);
1195             for (i, help_msg) in help_msgs.iter().enumerate() {
1196                 let or = if i == 0 { "" } else { "or " };
1197                 err.help(&format!("{}{}", or, help_msg));
1198             }
1199         };
1200
1201         could_refer_to(b1, misc1, "");
1202         could_refer_to(b2, misc2, " also");
1203         err.emit();
1204     }
1205
1206     /// If the binding refers to a tuple struct constructor with fields,
1207     /// returns the span of its fields.
1208     fn ctor_fields_span(&self, binding: &NameBinding<'_>) -> Option<Span> {
1209         if let NameBindingKind::Res(
1210             Res::Def(DefKind::Ctor(CtorOf::Struct, CtorKind::Fn), ctor_def_id),
1211             _,
1212         ) = binding.kind
1213         {
1214             let def_id = self.parent(ctor_def_id).expect("no parent for a constructor");
1215             let fields = self.field_names.get(&def_id)?;
1216             return fields.iter().map(|name| name.span).reduce(Span::to); // None for `struct Foo()`
1217         }
1218         None
1219     }
1220
1221     crate fn report_privacy_error(&self, privacy_error: &PrivacyError<'_>) {
1222         let PrivacyError { ident, binding, .. } = *privacy_error;
1223
1224         let res = binding.res();
1225         let ctor_fields_span = self.ctor_fields_span(binding);
1226         let plain_descr = res.descr().to_string();
1227         let nonimport_descr =
1228             if ctor_fields_span.is_some() { plain_descr + " constructor" } else { plain_descr };
1229         let import_descr = nonimport_descr.clone() + " import";
1230         let get_descr =
1231             |b: &NameBinding<'_>| if b.is_import() { &import_descr } else { &nonimport_descr };
1232
1233         // Print the primary message.
1234         let descr = get_descr(binding);
1235         let mut err =
1236             struct_span_err!(self.session, ident.span, E0603, "{} `{}` is private", descr, ident);
1237         err.span_label(ident.span, &format!("private {}", descr));
1238         if let Some(span) = ctor_fields_span {
1239             err.span_label(span, "a constructor is private if any of the fields is private");
1240         }
1241
1242         // Print the whole import chain to make it easier to see what happens.
1243         let first_binding = binding;
1244         let mut next_binding = Some(binding);
1245         let mut next_ident = ident;
1246         while let Some(binding) = next_binding {
1247             let name = next_ident;
1248             next_binding = match binding.kind {
1249                 _ if res == Res::Err => None,
1250                 NameBindingKind::Import { binding, import, .. } => match import.kind {
1251                     _ if binding.span.is_dummy() => None,
1252                     ImportKind::Single { source, .. } => {
1253                         next_ident = source;
1254                         Some(binding)
1255                     }
1256                     ImportKind::Glob { .. } | ImportKind::MacroUse => Some(binding),
1257                     ImportKind::ExternCrate { .. } => None,
1258                 },
1259                 _ => None,
1260             };
1261
1262             let first = ptr::eq(binding, first_binding);
1263             let msg = format!(
1264                 "{and_refers_to}the {item} `{name}`{which} is defined here{dots}",
1265                 and_refers_to = if first { "" } else { "...and refers to " },
1266                 item = get_descr(binding),
1267                 which = if first { "" } else { " which" },
1268                 dots = if next_binding.is_some() { "..." } else { "" },
1269             );
1270             let def_span = self.session.source_map().guess_head_span(binding.span);
1271             let mut note_span = MultiSpan::from_span(def_span);
1272             if !first && binding.vis == ty::Visibility::Public {
1273                 note_span.push_span_label(def_span, "consider importing it directly".into());
1274             }
1275             err.span_note(note_span, &msg);
1276         }
1277
1278         err.emit();
1279     }
1280
1281     crate fn find_similarly_named_module_or_crate(
1282         &mut self,
1283         ident: Symbol,
1284         current_module: &Module<'a>,
1285     ) -> Option<Symbol> {
1286         let mut candidates = self
1287             .extern_prelude
1288             .iter()
1289             .map(|(ident, _)| ident.name)
1290             .chain(
1291                 self.module_map
1292                     .iter()
1293                     .filter(|(_, module)| {
1294                         current_module.is_ancestor_of(module) && !ptr::eq(current_module, *module)
1295                     })
1296                     .map(|(_, module)| module.kind.name())
1297                     .flatten(),
1298             )
1299             .filter(|c| !c.to_string().is_empty())
1300             .collect::<Vec<_>>();
1301         candidates.sort();
1302         candidates.dedup();
1303         match find_best_match_for_name(&candidates, ident, None) {
1304             Some(sugg) if sugg == ident => None,
1305             sugg => sugg,
1306         }
1307     }
1308 }
1309
1310 impl<'a, 'b> ImportResolver<'a, 'b> {
1311     /// Adds suggestions for a path that cannot be resolved.
1312     pub(crate) fn make_path_suggestion(
1313         &mut self,
1314         span: Span,
1315         mut path: Vec<Segment>,
1316         parent_scope: &ParentScope<'b>,
1317     ) -> Option<(Vec<Segment>, Vec<String>)> {
1318         debug!("make_path_suggestion: span={:?} path={:?}", span, path);
1319
1320         match (path.get(0), path.get(1)) {
1321             // `{{root}}::ident::...` on both editions.
1322             // On 2015 `{{root}}` is usually added implicitly.
1323             (Some(fst), Some(snd))
1324                 if fst.ident.name == kw::PathRoot && !snd.ident.is_path_segment_keyword() => {}
1325             // `ident::...` on 2018.
1326             (Some(fst), _)
1327                 if fst.ident.span.rust_2018() && !fst.ident.is_path_segment_keyword() =>
1328             {
1329                 // Insert a placeholder that's later replaced by `self`/`super`/etc.
1330                 path.insert(0, Segment::from_ident(Ident::empty()));
1331             }
1332             _ => return None,
1333         }
1334
1335         self.make_missing_self_suggestion(span, path.clone(), parent_scope)
1336             .or_else(|| self.make_missing_crate_suggestion(span, path.clone(), parent_scope))
1337             .or_else(|| self.make_missing_super_suggestion(span, path.clone(), parent_scope))
1338             .or_else(|| self.make_external_crate_suggestion(span, path, parent_scope))
1339     }
1340
1341     /// Suggest a missing `self::` if that resolves to an correct module.
1342     ///
1343     /// ```text
1344     ///    |
1345     /// LL | use foo::Bar;
1346     ///    |     ^^^ did you mean `self::foo`?
1347     /// ```
1348     fn make_missing_self_suggestion(
1349         &mut self,
1350         span: Span,
1351         mut path: Vec<Segment>,
1352         parent_scope: &ParentScope<'b>,
1353     ) -> Option<(Vec<Segment>, Vec<String>)> {
1354         // Replace first ident with `self` and check if that is valid.
1355         path[0].ident.name = kw::SelfLower;
1356         let result = self.r.resolve_path(&path, None, parent_scope, false, span, CrateLint::No);
1357         debug!("make_missing_self_suggestion: path={:?} result={:?}", path, result);
1358         if let PathResult::Module(..) = result { Some((path, Vec::new())) } else { None }
1359     }
1360
1361     /// Suggests a missing `crate::` if that resolves to an correct module.
1362     ///
1363     /// ```text
1364     ///    |
1365     /// LL | use foo::Bar;
1366     ///    |     ^^^ did you mean `crate::foo`?
1367     /// ```
1368     fn make_missing_crate_suggestion(
1369         &mut self,
1370         span: Span,
1371         mut path: Vec<Segment>,
1372         parent_scope: &ParentScope<'b>,
1373     ) -> Option<(Vec<Segment>, Vec<String>)> {
1374         // Replace first ident with `crate` and check if that is valid.
1375         path[0].ident.name = kw::Crate;
1376         let result = self.r.resolve_path(&path, None, parent_scope, false, span, CrateLint::No);
1377         debug!("make_missing_crate_suggestion:  path={:?} result={:?}", path, result);
1378         if let PathResult::Module(..) = result {
1379             Some((
1380                 path,
1381                 vec![
1382                     "`use` statements changed in Rust 2018; read more at \
1383                      <https://doc.rust-lang.org/edition-guide/rust-2018/module-system/path-\
1384                      clarity.html>"
1385                         .to_string(),
1386                 ],
1387             ))
1388         } else {
1389             None
1390         }
1391     }
1392
1393     /// Suggests a missing `super::` if that resolves to an correct module.
1394     ///
1395     /// ```text
1396     ///    |
1397     /// LL | use foo::Bar;
1398     ///    |     ^^^ did you mean `super::foo`?
1399     /// ```
1400     fn make_missing_super_suggestion(
1401         &mut self,
1402         span: Span,
1403         mut path: Vec<Segment>,
1404         parent_scope: &ParentScope<'b>,
1405     ) -> Option<(Vec<Segment>, Vec<String>)> {
1406         // Replace first ident with `crate` and check if that is valid.
1407         path[0].ident.name = kw::Super;
1408         let result = self.r.resolve_path(&path, None, parent_scope, false, span, CrateLint::No);
1409         debug!("make_missing_super_suggestion:  path={:?} result={:?}", path, result);
1410         if let PathResult::Module(..) = result { Some((path, Vec::new())) } else { None }
1411     }
1412
1413     /// Suggests a missing external crate name if that resolves to an correct module.
1414     ///
1415     /// ```text
1416     ///    |
1417     /// LL | use foobar::Baz;
1418     ///    |     ^^^^^^ did you mean `baz::foobar`?
1419     /// ```
1420     ///
1421     /// Used when importing a submodule of an external crate but missing that crate's
1422     /// name as the first part of path.
1423     fn make_external_crate_suggestion(
1424         &mut self,
1425         span: Span,
1426         mut path: Vec<Segment>,
1427         parent_scope: &ParentScope<'b>,
1428     ) -> Option<(Vec<Segment>, Vec<String>)> {
1429         if path[1].ident.span.rust_2015() {
1430             return None;
1431         }
1432
1433         // Sort extern crate names in reverse order to get
1434         // 1) some consistent ordering for emitted diagnostics, and
1435         // 2) `std` suggestions before `core` suggestions.
1436         let mut extern_crate_names =
1437             self.r.extern_prelude.iter().map(|(ident, _)| ident.name).collect::<Vec<_>>();
1438         extern_crate_names.sort_by_key(|name| Reverse(name.as_str()));
1439
1440         for name in extern_crate_names.into_iter() {
1441             // Replace first ident with a crate name and check if that is valid.
1442             path[0].ident.name = name;
1443             let result = self.r.resolve_path(&path, None, parent_scope, false, span, CrateLint::No);
1444             debug!(
1445                 "make_external_crate_suggestion: name={:?} path={:?} result={:?}",
1446                 name, path, result
1447             );
1448             if let PathResult::Module(..) = result {
1449                 return Some((path, Vec::new()));
1450             }
1451         }
1452
1453         None
1454     }
1455
1456     /// Suggests importing a macro from the root of the crate rather than a module within
1457     /// the crate.
1458     ///
1459     /// ```text
1460     /// help: a macro with this name exists at the root of the crate
1461     ///    |
1462     /// LL | use issue_59764::makro;
1463     ///    |     ^^^^^^^^^^^^^^^^^^
1464     ///    |
1465     ///    = note: this could be because a macro annotated with `#[macro_export]` will be exported
1466     ///            at the root of the crate instead of the module where it is defined
1467     /// ```
1468     pub(crate) fn check_for_module_export_macro(
1469         &mut self,
1470         import: &'b Import<'b>,
1471         module: ModuleOrUniformRoot<'b>,
1472         ident: Ident,
1473     ) -> Option<(Option<Suggestion>, Vec<String>)> {
1474         let ModuleOrUniformRoot::Module(mut crate_module) = module else {
1475             return None;
1476         };
1477
1478         while let Some(parent) = crate_module.parent {
1479             crate_module = parent;
1480         }
1481
1482         if ModuleOrUniformRoot::same_def(ModuleOrUniformRoot::Module(crate_module), module) {
1483             // Don't make a suggestion if the import was already from the root of the
1484             // crate.
1485             return None;
1486         }
1487
1488         let resolutions = self.r.resolutions(crate_module).borrow();
1489         let resolution = resolutions.get(&self.r.new_key(ident, MacroNS))?;
1490         let binding = resolution.borrow().binding()?;
1491         if let Res::Def(DefKind::Macro(MacroKind::Bang), _) = binding.res() {
1492             let module_name = crate_module.kind.name().unwrap();
1493             let import_snippet = match import.kind {
1494                 ImportKind::Single { source, target, .. } if source != target => {
1495                     format!("{} as {}", source, target)
1496                 }
1497                 _ => format!("{}", ident),
1498             };
1499
1500             let mut corrections: Vec<(Span, String)> = Vec::new();
1501             if !import.is_nested() {
1502                 // Assume this is the easy case of `use issue_59764::foo::makro;` and just remove
1503                 // intermediate segments.
1504                 corrections.push((import.span, format!("{}::{}", module_name, import_snippet)));
1505             } else {
1506                 // Find the binding span (and any trailing commas and spaces).
1507                 //   ie. `use a::b::{c, d, e};`
1508                 //                      ^^^
1509                 let (found_closing_brace, binding_span) = find_span_of_binding_until_next_binding(
1510                     self.r.session,
1511                     import.span,
1512                     import.use_span,
1513                 );
1514                 debug!(
1515                     "check_for_module_export_macro: found_closing_brace={:?} binding_span={:?}",
1516                     found_closing_brace, binding_span
1517                 );
1518
1519                 let mut removal_span = binding_span;
1520                 if found_closing_brace {
1521                     // If the binding span ended with a closing brace, as in the below example:
1522                     //   ie. `use a::b::{c, d};`
1523                     //                      ^
1524                     // Then expand the span of characters to remove to include the previous
1525                     // binding's trailing comma.
1526                     //   ie. `use a::b::{c, d};`
1527                     //                    ^^^
1528                     if let Some(previous_span) =
1529                         extend_span_to_previous_binding(self.r.session, binding_span)
1530                     {
1531                         debug!("check_for_module_export_macro: previous_span={:?}", previous_span);
1532                         removal_span = removal_span.with_lo(previous_span.lo());
1533                     }
1534                 }
1535                 debug!("check_for_module_export_macro: removal_span={:?}", removal_span);
1536
1537                 // Remove the `removal_span`.
1538                 corrections.push((removal_span, "".to_string()));
1539
1540                 // Find the span after the crate name and if it has nested imports immediatately
1541                 // after the crate name already.
1542                 //   ie. `use a::b::{c, d};`
1543                 //               ^^^^^^^^^
1544                 //   or  `use a::{b, c, d}};`
1545                 //               ^^^^^^^^^^^
1546                 let (has_nested, after_crate_name) = find_span_immediately_after_crate_name(
1547                     self.r.session,
1548                     module_name,
1549                     import.use_span,
1550                 );
1551                 debug!(
1552                     "check_for_module_export_macro: has_nested={:?} after_crate_name={:?}",
1553                     has_nested, after_crate_name
1554                 );
1555
1556                 let source_map = self.r.session.source_map();
1557
1558                 // Add the import to the start, with a `{` if required.
1559                 let start_point = source_map.start_point(after_crate_name);
1560                 if let Ok(start_snippet) = source_map.span_to_snippet(start_point) {
1561                     corrections.push((
1562                         start_point,
1563                         if has_nested {
1564                             // In this case, `start_snippet` must equal '{'.
1565                             format!("{}{}, ", start_snippet, import_snippet)
1566                         } else {
1567                             // In this case, add a `{`, then the moved import, then whatever
1568                             // was there before.
1569                             format!("{{{}, {}", import_snippet, start_snippet)
1570                         },
1571                     ));
1572                 }
1573
1574                 // Add a `};` to the end if nested, matching the `{` added at the start.
1575                 if !has_nested {
1576                     corrections.push((source_map.end_point(after_crate_name), "};".to_string()));
1577                 }
1578             }
1579
1580             let suggestion = Some((
1581                 corrections,
1582                 String::from("a macro with this name exists at the root of the crate"),
1583                 Applicability::MaybeIncorrect,
1584             ));
1585             let note = vec![
1586                 "this could be because a macro annotated with `#[macro_export]` will be exported \
1587                  at the root of the crate instead of the module where it is defined"
1588                     .to_string(),
1589             ];
1590             Some((suggestion, note))
1591         } else {
1592             None
1593         }
1594     }
1595 }
1596
1597 /// Given a `binding_span` of a binding within a use statement:
1598 ///
1599 /// ```
1600 /// use foo::{a, b, c};
1601 ///              ^
1602 /// ```
1603 ///
1604 /// then return the span until the next binding or the end of the statement:
1605 ///
1606 /// ```
1607 /// use foo::{a, b, c};
1608 ///              ^^^
1609 /// ```
1610 pub(crate) fn find_span_of_binding_until_next_binding(
1611     sess: &Session,
1612     binding_span: Span,
1613     use_span: Span,
1614 ) -> (bool, Span) {
1615     let source_map = sess.source_map();
1616
1617     // Find the span of everything after the binding.
1618     //   ie. `a, e};` or `a};`
1619     let binding_until_end = binding_span.with_hi(use_span.hi());
1620
1621     // Find everything after the binding but not including the binding.
1622     //   ie. `, e};` or `};`
1623     let after_binding_until_end = binding_until_end.with_lo(binding_span.hi());
1624
1625     // Keep characters in the span until we encounter something that isn't a comma or
1626     // whitespace.
1627     //   ie. `, ` or ``.
1628     //
1629     // Also note whether a closing brace character was encountered. If there
1630     // was, then later go backwards to remove any trailing commas that are left.
1631     let mut found_closing_brace = false;
1632     let after_binding_until_next_binding =
1633         source_map.span_take_while(after_binding_until_end, |&ch| {
1634             if ch == '}' {
1635                 found_closing_brace = true;
1636             }
1637             ch == ' ' || ch == ','
1638         });
1639
1640     // Combine the two spans.
1641     //   ie. `a, ` or `a`.
1642     //
1643     // Removing these would leave `issue_52891::{d, e};` or `issue_52891::{d, e, };`
1644     let span = binding_span.with_hi(after_binding_until_next_binding.hi());
1645
1646     (found_closing_brace, span)
1647 }
1648
1649 /// Given a `binding_span`, return the span through to the comma or opening brace of the previous
1650 /// binding.
1651 ///
1652 /// ```
1653 /// use foo::a::{a, b, c};
1654 ///               ^^--- binding span
1655 ///               |
1656 ///               returned span
1657 ///
1658 /// use foo::{a, b, c};
1659 ///           --- binding span
1660 /// ```
1661 pub(crate) fn extend_span_to_previous_binding(sess: &Session, binding_span: Span) -> Option<Span> {
1662     let source_map = sess.source_map();
1663
1664     // `prev_source` will contain all of the source that came before the span.
1665     // Then split based on a command and take the first (ie. closest to our span)
1666     // snippet. In the example, this is a space.
1667     let prev_source = source_map.span_to_prev_source(binding_span).ok()?;
1668
1669     let prev_comma = prev_source.rsplit(',').collect::<Vec<_>>();
1670     let prev_starting_brace = prev_source.rsplit('{').collect::<Vec<_>>();
1671     if prev_comma.len() <= 1 || prev_starting_brace.len() <= 1 {
1672         return None;
1673     }
1674
1675     let prev_comma = prev_comma.first().unwrap();
1676     let prev_starting_brace = prev_starting_brace.first().unwrap();
1677
1678     // If the amount of source code before the comma is greater than
1679     // the amount of source code before the starting brace then we've only
1680     // got one item in the nested item (eg. `issue_52891::{self}`).
1681     if prev_comma.len() > prev_starting_brace.len() {
1682         return None;
1683     }
1684
1685     Some(binding_span.with_lo(BytePos(
1686         // Take away the number of bytes for the characters we've found and an
1687         // extra for the comma.
1688         binding_span.lo().0 - (prev_comma.as_bytes().len() as u32) - 1,
1689     )))
1690 }
1691
1692 /// Given a `use_span` of a binding within a use statement, returns the highlighted span and if
1693 /// it is a nested use tree.
1694 ///
1695 /// ```
1696 /// use foo::a::{b, c};
1697 ///          ^^^^^^^^^^ // false
1698 ///
1699 /// use foo::{a, b, c};
1700 ///          ^^^^^^^^^^ // true
1701 ///
1702 /// use foo::{a, b::{c, d}};
1703 ///          ^^^^^^^^^^^^^^^ // true
1704 /// ```
1705 fn find_span_immediately_after_crate_name(
1706     sess: &Session,
1707     module_name: Symbol,
1708     use_span: Span,
1709 ) -> (bool, Span) {
1710     debug!(
1711         "find_span_immediately_after_crate_name: module_name={:?} use_span={:?}",
1712         module_name, use_span
1713     );
1714     let source_map = sess.source_map();
1715
1716     // Using `use issue_59764::foo::{baz, makro};` as an example throughout..
1717     let mut num_colons = 0;
1718     // Find second colon.. `use issue_59764:`
1719     let until_second_colon = source_map.span_take_while(use_span, |c| {
1720         if *c == ':' {
1721             num_colons += 1;
1722         }
1723         !matches!(c, ':' if num_colons == 2)
1724     });
1725     // Find everything after the second colon.. `foo::{baz, makro};`
1726     let from_second_colon = use_span.with_lo(until_second_colon.hi() + BytePos(1));
1727
1728     let mut found_a_non_whitespace_character = false;
1729     // Find the first non-whitespace character in `from_second_colon`.. `f`
1730     let after_second_colon = source_map.span_take_while(from_second_colon, |c| {
1731         if found_a_non_whitespace_character {
1732             return false;
1733         }
1734         if !c.is_whitespace() {
1735             found_a_non_whitespace_character = true;
1736         }
1737         true
1738     });
1739
1740     // Find the first `{` in from_second_colon.. `foo::{`
1741     let next_left_bracket = source_map.span_through_char(from_second_colon, '{');
1742
1743     (next_left_bracket == after_second_colon, from_second_colon)
1744 }
1745
1746 /// When an entity with a given name is not available in scope, we search for
1747 /// entities with that name in all crates. This method allows outputting the
1748 /// results of this search in a programmer-friendly way
1749 crate fn show_candidates(
1750     definitions: &rustc_hir::definitions::Definitions,
1751     session: &Session,
1752     err: &mut DiagnosticBuilder<'_>,
1753     // This is `None` if all placement locations are inside expansions
1754     use_placement_span: Option<Span>,
1755     candidates: &[ImportSuggestion],
1756     instead: bool,
1757     found_use: bool,
1758 ) {
1759     if candidates.is_empty() {
1760         return;
1761     }
1762
1763     let mut accessible_path_strings: Vec<(String, &str, Option<DefId>)> = Vec::new();
1764     let mut inaccessible_path_strings: Vec<(String, &str, Option<DefId>)> = Vec::new();
1765
1766     candidates.iter().for_each(|c| {
1767         (if c.accessible { &mut accessible_path_strings } else { &mut inaccessible_path_strings })
1768             .push((path_names_to_string(&c.path), c.descr, c.did))
1769     });
1770
1771     // we want consistent results across executions, but candidates are produced
1772     // by iterating through a hash map, so make sure they are ordered:
1773     for path_strings in [&mut accessible_path_strings, &mut inaccessible_path_strings] {
1774         path_strings.sort_by(|a, b| a.0.cmp(&b.0));
1775         let core_path_strings =
1776             path_strings.drain_filter(|p| p.0.starts_with("core::")).collect::<Vec<_>>();
1777         path_strings.extend(core_path_strings);
1778         path_strings.dedup_by(|a, b| a.0 == b.0);
1779     }
1780
1781     if !accessible_path_strings.is_empty() {
1782         let (determiner, kind) = if accessible_path_strings.len() == 1 {
1783             ("this", accessible_path_strings[0].1)
1784         } else {
1785             ("one of these", "items")
1786         };
1787
1788         let instead = if instead { " instead" } else { "" };
1789         let mut msg = format!("consider importing {} {}{}", determiner, kind, instead);
1790
1791         if let Some(span) = use_placement_span {
1792             for candidate in &mut accessible_path_strings {
1793                 // produce an additional newline to separate the new use statement
1794                 // from the directly following item.
1795                 let additional_newline = if found_use { "" } else { "\n" };
1796                 candidate.0 = format!("use {};\n{}", &candidate.0, additional_newline);
1797             }
1798
1799             err.span_suggestions(
1800                 span,
1801                 &msg,
1802                 accessible_path_strings.into_iter().map(|a| a.0),
1803                 Applicability::Unspecified,
1804             );
1805         } else {
1806             msg.push(':');
1807
1808             for candidate in accessible_path_strings {
1809                 msg.push('\n');
1810                 msg.push_str(&candidate.0);
1811             }
1812
1813             err.note(&msg);
1814         }
1815     } else {
1816         assert!(!inaccessible_path_strings.is_empty());
1817
1818         if inaccessible_path_strings.len() == 1 {
1819             let (name, descr, def_id) = &inaccessible_path_strings[0];
1820             let msg = format!("{} `{}` exists but is inaccessible", descr, name);
1821
1822             if let Some(local_def_id) = def_id.and_then(|did| did.as_local()) {
1823                 let span = definitions.def_span(local_def_id);
1824                 let span = session.source_map().guess_head_span(span);
1825                 let mut multi_span = MultiSpan::from_span(span);
1826                 multi_span.push_span_label(span, "not accessible".to_string());
1827                 err.span_note(multi_span, &msg);
1828             } else {
1829                 err.note(&msg);
1830             }
1831         } else {
1832             let (_, descr_first, _) = &inaccessible_path_strings[0];
1833             let descr = if inaccessible_path_strings
1834                 .iter()
1835                 .skip(1)
1836                 .all(|(_, descr, _)| descr == descr_first)
1837             {
1838                 descr_first.to_string()
1839             } else {
1840                 "item".to_string()
1841             };
1842
1843             let mut msg = format!("these {}s exist but are inaccessible", descr);
1844             let mut has_colon = false;
1845
1846             let mut spans = Vec::new();
1847             for (name, _, def_id) in &inaccessible_path_strings {
1848                 if let Some(local_def_id) = def_id.and_then(|did| did.as_local()) {
1849                     let span = definitions.def_span(local_def_id);
1850                     let span = session.source_map().guess_head_span(span);
1851                     spans.push((name, span));
1852                 } else {
1853                     if !has_colon {
1854                         msg.push(':');
1855                         has_colon = true;
1856                     }
1857                     msg.push('\n');
1858                     msg.push_str(name);
1859                 }
1860             }
1861
1862             let mut multi_span = MultiSpan::from_spans(spans.iter().map(|(_, sp)| *sp).collect());
1863             for (name, span) in spans {
1864                 multi_span.push_span_label(span, format!("`{}`: not accessible", name));
1865             }
1866
1867             err.span_note(multi_span, &msg);
1868         }
1869     }
1870 }