src/test/ui/rfc-2632-const-trait-impl/issue-92230-wf-super-trait-env.rs

   1 // Regression test for #92230.
   2 //
   3 // check-pass
   4
   5 #![feature(const_trait_impl)]
   6
   7 #[const_trait]
   8 pub trait Super {}
   9 #[const_trait]
  10 pub trait Sub: Super {}
  11
  12 impl<A> const Super for &A where A: ~const Super {}
  13 impl<A> const Sub for &A where A: ~const Sub {}
  14
  15 fn main() {}