Rollup merge of #111652 - clubby789:self-import-improvement, r=compiler-errors
Better diagnostic for `use Self::..` Fixes #111627 cc `@petrochenkov,` you might have thoughts on a better way to handle this (https://github.com/rust-lang/rust/issues/63720#issuecomment-591597466)
This commit is contained in:
commit
13f3585dc6
@ -1832,7 +1832,17 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
|
||||
}
|
||||
(msg, None)
|
||||
} else if ident.name == kw::SelfUpper {
|
||||
("`Self` is only available in impls, traits, and type definitions".to_string(), None)
|
||||
// As mentioned above, `opt_ns` being `None` indicates a module path in import.
|
||||
// We can use this to improve a confusing error for, e.g. `use Self::Variant` in an
|
||||
// impl
|
||||
if opt_ns.is_none() {
|
||||
("`Self` cannot be used in imports".to_string(), None)
|
||||
} else {
|
||||
(
|
||||
"`Self` is only available in impls, traits, and type definitions".to_string(),
|
||||
None,
|
||||
)
|
||||
}
|
||||
} else if ident.name.as_str().chars().next().map_or(false, |c| c.is_ascii_uppercase()) {
|
||||
// Check whether the name refers to an item in the value namespace.
|
||||
let binding = if let Some(ribs) = ribs {
|
||||
|
@ -8,7 +8,7 @@ error[E0432]: unresolved import `Self`
|
||||
--> $DIR/use-self-type.rs:6:13
|
||||
|
|
||||
LL | use Self::f;
|
||||
| ^^^^ `Self` is only available in impls, traits, and type definitions
|
||||
| ^^^^ `Self` cannot be used in imports
|
||||
|
||||
error: aborting due to 2 previous errors
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user