Skip to content

Commit 9a92054

Browse files
KivooeoKivooeo
committed
fix for #139999 
1 parent 49e5e4e commit 9a92054

File tree

9 files changed

+43
-28
lines changed

9 files changed

+43
-28
lines changed

‎compiler/rustc_resolve/src/late/diagnostics.rs‎

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2772,6 +2772,32 @@ impl<'ast, 'ra: 'ast, 'tcx> LateResolutionVisitor<'_, 'ast, 'ra, 'tcx> {
27722772
),
27732773
_ => return None,
27742774
};
2775+
2776+
// Heuristically determine whether a type name is likely intended to be a generic.
2777+
//
2778+
// We apply three rules:
2779+
// 1. Short names (like `T`, `U`, `E`) are common for generics.
2780+
// 2. Certain well-known names (e.g., `Item`, `Output`, `Error`) are commonly used as generics.
2781+
// 3. Names in UpperCamelCase are more likely to be concrete types.
2782+
//
2783+
// This approach may produce false positives or negatives, but works well in most cases.
2784+
2785+
let common_generic_names: &[&str] = &[
2786+
"Item", "Output", "Error", "Target", "Value", "Args",
2787+
"Res", "Ret", "This", "Iter", "Type",
2788+
];
2789+
let is_common_generic = common_generic_names.contains(&sugg.as_str());
2790+
let looks_like_camel_case = sugg
2791+
.chars()
2792+
.next()
2793+
.map(|c| c.is_uppercase())
2794+
.unwrap_or(false)
2795+
&& sugg.chars().skip(1).any(|c| c.is_lowercase());
2796+
2797+
// If it's not a known generic name and looks like a concrete type, skip the suggestion.
2798+
if !is_common_generic && looks_like_camel_case && sugg.len() > 3 {
2799+
return None;
2800+
}
27752801
let (span, sugg) = if let [.., param] = &generics.params[..] {
27762802
let span = if let [.., bound] = &param.bounds[..] {
27772803
bound.span()

‎tests/ui/consts/error-is-freeze.stderr‎

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,6 @@ error[E0412]: cannot find type `UndefinedType` in this scope
33
|
44
LL | foo: Option<UndefinedType>,
55
| ^^^^^^^^^^^^^ not found in this scope
6-
|
7-
help: you might be missing a type parameter
8-
|
9-
LL | struct MyStruct<UndefinedType> {
10-
| +++++++++++++++
116

127
error: aborting due to 1 previous error
138

‎tests/ui/issues/issue-58712.stderr‎

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,6 @@ error[E0412]: cannot find type `DeviceId` in this scope
33
|
44
LL | impl<H> AddrVec<H, DeviceId> {
55
| ^^^^^^^^ not found in this scope
6-
|
7-
help: you might be missing a type parameter
8-
|
9-
LL | impl<H, DeviceId> AddrVec<H, DeviceId> {
10-
| ++++++++++
116

127
error[E0412]: cannot find type `DeviceId` in this scope
138
--> $DIR/issue-58712.rs:8:29

‎tests/ui/layout/thaw-transmute-invalid-enum.stderr‎

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3,11 +3,6 @@ error[E0412]: cannot find type `Subset` in this scope
33
|
44
LL | assert::is_transmutable::<Superset, Subset>();
55
| ^^^^^^ not found in this scope
6-
|
7-
help: you might be missing a type parameter
8-
|
9-
LL | fn test<Subset>() {
10-
| ++++++++
116

127
error[E0517]: attribute should be applied to a struct or union
138
--> $DIR/thaw-transmute-invalid-enum.rs:21:11

‎tests/ui/pattern/usefulness/issue-119493-type-error-ice.stderr‎

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -10,10 +10,7 @@ error[E0412]: cannot find type `NonExistent` in this scope
1010
LL | struct Foo(NonExistent);
1111
| ^^^^^^^^^^^ not found in this scope
1212
|
13-
help: you might be missing a type parameter
14-
|
15-
LL | struct Foo<NonExistent>(NonExistent);
16-
| +++++++++++++
13+
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
1714

1815
error[E0658]: `impl Trait` in type aliases is unstable
1916
--> $DIR/issue-119493-type-error-ice.rs:9:14

‎tests/ui/traits/issue-50480.stderr‎

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -32,10 +32,7 @@ error[E0412]: cannot find type `NotDefined` in this scope
3232
LL | struct Foo(N, NotDefined, <i32 as Iterator>::Item, Vec<i32>, String);
3333
| ^^^^^^^^^^ not found in this scope
3434
|
35-
help: you might be missing a type parameter
36-
|
37-
LL | struct Foo<NotDefined>(N, NotDefined, <i32 as Iterator>::Item, Vec<i32>, String);
38-
| ++++++++++++
35+
= note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
3936

4037
error[E0412]: cannot find type `N` in this scope
4138
--> $DIR/issue-50480.rs:14:18

‎tests/ui/traits/missing-type-param-suggestion-issue-139999.rs‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
fn do_something() -> Option<ForgotToImport> {
2+
//~^ cannot find type `ForgotToImport` in this scope [E0412]
3+
None
4+
}
5+
6+
fn main() {}

‎tests/ui/traits/missing-type-param-suggestion-issue-139999.stderr‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
error[E0412]: cannot find type `ForgotToImport` in this scope
2+
--> $DIR/missing-type-param-suggestion-issue-139999.rs:1:29
3+
|
4+
LL | fn do_something() -> Option<ForgotToImport> {
5+
| ^^^^^^^^^^^^^^ not found in this scope
6+
7+
error: aborting due to 1 previous error
8+
9+
For more information about this error, try `rustc --explain E0412`.

‎tests/ui/traits/trait-selection-ice-84727.stderr‎

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -21,11 +21,6 @@ error[E0412]: cannot find type `NewBg` in this scope
2121
|
2222
LL | fn over(self) -> Cell<NewBg> {
2323
| ^^^^^ not found in this scope
24-
|
25-
help: you might be missing a type parameter
26-
|
27-
LL | impl<'b, TopFg, TopBg, BottomFg, BottomBg, NewBg> Over<&Cell<BottomFg, BottomBg>, ()>
28-
| +++++++
2924

3025
error[E0308]: mismatched types
3126
--> $DIR/trait-selection-ice-84727.rs:21:22

0 commit comments

Comments
 (0)