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() {}