src/test/ui/const-generics/issue-80561-incorrect-param-env.rs

   1 // check-pass
   2 #![feature(const_generics, const_evaluatable_checked)]
   3 #![allow(incomplete_features)]
   4
   5 // This tests that the correct `param_env` is used so that
   6 // attempting to normalize `Self::N` does not cause an ICE.
   7
   8 pub struct Foo<const N: usize>;
   9
  10 impl<const N: usize> Foo<N> {
  11     pub fn foo() {}
  12 }
  13
  14 pub trait Bar {
  15     const N: usize;
  16     fn bar()
  17     where
  18         [(); Self::N]: ,
  19     {
  20         Foo::<{ Self::N }>::foo();
  21     }
  22 }
  23
  24 fn main() {}