Bug with associated type discovery #95413

Activity

1. tema3210

   added

   C-bugCategory: This is a bug.Category: This is a bug.

   on Mar 28, 2022
2. SNCPlay42 commented on Mar 28, 2022

   

   SNCPlay42

   on Mar 28, 2022

   Contributor

   More actions

   Reduced some:

   mod A {
       pub trait Trait {}
   }
   
   mod B {
       struct A<H: A::Trait>(H);
   }

   Which emits (ignoring the extra suggestion from a crate visible to the playground):

   error[E0405]: cannot find trait `Trait` in `A`
    --> src/lib.rs:6:20
     |
   6 |     struct A<H: A::Trait>(H);
     |                    ^^^^^ not found in `A`
     |
   help: consider importing one of these items
     |
   6 |     use crate::A::Trait;
     |
   
   

   The error is correct - in mod B A refers to struct A itself, which has no associated item called Trait.

   The suggestion is invalid - whether Trait is imported in the current module has no effect on the path A::Trait.

   (Note that the playground's click-to-insert-use-statement feature also inserts the suggestion in the wrong position - at the top of the file instead of in mod B - which isn't a compiler issue.)

   @rustbot label A-diagnostics A-resolve A-associated-items D-confusing D-invalid-suggestion
3. rustbot

   added

   A-associated-itemsArea: Associated items (types, constants & functions)Area: Associated items (types, constants & functions)

   A-diagnosticsArea: Messages for errors, warnings, and lintsArea: Messages for errors, warnings, and lints

   A-resolveArea: Name/path resolution done by `rustc_resolve` specificallyArea: Name/path resolution done by `rustc_resolve` specifically

   D-confusingDiagnostics: Confusing error or lint that should be reworked.Diagnostics: Confusing error or lint that should be reworked.

   D-invalid-suggestionDiagnostics: A structured suggestion resulting in incorrect code.Diagnostics: A structured suggestion resulting in incorrect code.

   on Mar 28, 2022
4. estebank

   added

   T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.Relevant to the compiler team, which will review and decide on the PR/issue.

   on Mar 29, 2022
5. estebank

   self-assigned this

   on Apr 23, 2022
6. estebank

   added a commit that references this issue on May 3, 2022

   When suggesting to import an item, also suggest changing the path if …

   ...

   This issue will close once commit 5796726 is merged into the 'master' branch.

   5796726
7. JohnTitor

   added a commit that references this issue on May 3, 2022

   Rollup merge of rust-lang#96353 - estebank:issue-95413, r=compiler-er…

   ...

   This issue will close once commit e5e0925 is merged into the 'main' branch.

   e5e0925
8. bors

   added a commit that references this issue on May 4, 2022

   Auto merge of rust-lang#96353 - estebank:issue-95413, r=compiler-errors

   ...

   This issue will close once commit 9add632 is merged into the 'master' branch.

   9add632
9. bors

   closed this as completedin 5796726on May 4, 2022