don't look into anon consts in FindHirNodeVisitor

Author: lcnr

compiler/rustc_infer/src/infer/error_reporting/need_type_info.rs

@@ -87,6 +87,11 @@ impl<'a, 'tcx> Visitor<'tcx> for FindHirNodeVisitor<'a, 'tcx> {
         NestedVisitorMap::OnlyBodies(self.infcx.tcx.hir())
     }
 
+    fn visit_anon_const(&mut self, _ct: &'tcx hir::AnonConst<'tcx>) {
+        // Do not look into anonymous constants as they are typechecked
+        // seperately.
+    }
+
     fn visit_local(&mut self, local: &'tcx Local<'tcx>) {
         if let (None, Some(ty)) =
             (self.found_local_pattern, self.node_ty_contains_target(local.hir_id))

src/test/ui/associated-item/associated-item-duplicate-bounds.rs

@@ -1,11 +1,14 @@
+#![feature(min_const_generics)]
+// FIXME(const_generics): should be stable soon
+
 trait Adapter {
     const LINKS: usize;
 }
 
 struct Foo<A: Adapter> {
     adapter: A,
-    links: [u32; A::LINKS], // Shouldn't suggest bounds already there.
-    //~^ ERROR: no associated item named `LINKS` found
+    links: [u32; A::LINKS],
+    //~^ ERROR generic parameters may not be used
 }
 
 fn main() {}

src/test/ui/associated-item/associated-item-duplicate-bounds.stderr

@@ -1,11 +1,10 @@
-error[E0599]: no associated item named `LINKS` found for type parameter `A` in the current scope
-  --> $DIR/associated-item-duplicate-bounds.rs:7:21
+error: generic parameters may not be used in const operations
+  --> $DIR/associated-item-duplicate-bounds.rs:10:18
    |
-LL |     links: [u32; A::LINKS], // Shouldn't suggest bounds already there.
-   |                     ^^^^^ associated item not found in `A`
+LL |     links: [u32; A::LINKS],
+   |                  ^^^^^^^^ cannot perform const operation using `A`
    |
-   = help: items from traits can only be used if the type parameter is bounded by the trait
+   = note: type parameters may not be used in const expressions
 
 error: aborting due to previous error
 
-For more information about this error, try `rustc --explain E0599`.

src/test/ui/issues/issue-39559.rs

@@ -1,3 +1,5 @@
+#![feature(min_const_generics)]
+// FIXME(const_generics): This should be stabilized soon enough
 trait Dim {
     fn dim() -> usize;
 }
@@ -12,7 +14,7 @@ impl Dim for Dim3 {
 
 pub struct Vector<T, D: Dim> {
     entries: [T; D::dim()],
-    //~^ ERROR no function or associated item named `dim` found
+    //~^ ERROR generic parameters may not be used
     _dummy: D,
 }
 

src/test/ui/issues/issue-39559.stderr

@@ -1,11 +1,10 @@
-error[E0599]: no function or associated item named `dim` found for type parameter `D` in the current scope
-  --> $DIR/issue-39559.rs:14:21
+error: generic parameters may not be used in const operations
+  --> $DIR/issue-39559.rs:16:18
    |
 LL |     entries: [T; D::dim()],
-   |                     ^^^ function or associated item not found in `D`
+   |                  ^^^^^^ cannot perform const operation using `D`
    |
-   = help: items from traits can only be used if the type parameter is bounded by the trait
+   = note: type parameters may not be used in const expressions
 
 error: aborting due to previous error
 
-For more information about this error, try `rustc --explain E0599`.