src/test/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-86953.rs

   1 // revisions: rpass
   2 #![feature(generic_const_exprs)]
   3 #![allow(incomplete_features)]
   4
   5 struct Foo;
   6 impl<'a> std::ops::Add<&'a Foo> for Foo
   7 where
   8     [(); 0 + 0]: Sized,
   9 {
  10     type Output = ();
  11     fn add(self, _: &Foo) -> Self::Output {
  12         loop {}
  13     }
  14 }
  15
  16 fn main() {}