tests/incremental/const-generics/try_unify_abstract_const_regression_tests/issue-86953.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//@ revisions: rpass
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]

struct Foo;
impl<'a> std::ops::Add<&'a Foo> for Foo
where
    [(); 0 + 0]: Sized,
{
    type Output = ();
    fn add(self, _: &Foo) -> Self::Output {
        loop {}
    }
}

fn main() {}