src/test/ui/associated-consts/issue-88599-ref-self.rs

   1 // check-pass
   2 #![feature(generic_const_exprs)]
   3 #![allow(incomplete_features)]
   4
   5 pub trait First {
   6     const CONST: usize;
   7 }
   8 pub trait Second {}
   9
  10 impl<'a> First for dyn Second
  11 where
  12     &'a Self: First,
  13 {
  14     const CONST: usize = <&Self>::CONST;
  15 }
  16
  17 trait Third: First
  18 where
  19     [u8; Self::CONST]:
  20 {
  21     const VAL: [u8; Self::CONST] = [0; Self::CONST];
  22 }
  23
  24 fn main() {}