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 pub trait Super {}
   8 pub trait Sub: Super {}
   9
  10 impl<A> const Super for &A where A: ~const Super {}
  11 impl<A> const Sub for &A where A: ~const Sub {}
  12
  13 fn main() {}