src/test/ui/const-generics/generic_const_exprs/issue-83765.stderr

   1 error[E0308]: method not compatible with trait
   2   --> $DIR/issue-83765.rs:30:5
   3    |
   4 LL |     fn size(&self) -> [usize; DIM] {
   5    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `Self::DIM`, found `DIM`
   6    |
   7    = note: expected type `Self::DIM`
   8               found type `DIM`
   9
  10 error: unconstrained generic constant
  11   --> $DIR/issue-83765.rs:32:24
  12    |
  13 LL |         self.reference.size()
  14    |                        ^^^^
  15    |
  16    = help: try adding a `where` bound using this expression: `where [(); Self::DIM]:`
  17
  18 error[E0308]: mismatched types
  19   --> $DIR/issue-83765.rs:32:9
  20    |
  21 LL |         self.reference.size()
  22    |         ^^^^^^^^^^^^^^^^^^^^^ expected `DIM`, found `Self::DIM`
  23    |
  24    = note: expected type `DIM`
  25               found type `Self::DIM`
  26
  27 error: aborting due to 3 previous errors
  28
  29 For more information about this error, try `rustc --explain E0308`.