tests/ui/borrowck/copy-overflow.rs


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

// Regression test for <https://github.com/rust-lang/rust/issues/144165>.

// We were previously suppressing the copy error in the `Clone` impl because we assumed
// that the only way we get `Copy` ambiguity errors was due to incoherent impls. This is
// not true, since ambiguities can be encountered due to overflows (among other ways).

struct S<T: 'static>(Option<&'static T>);

impl<T: 'static> Copy for S<T> where S<T>: Copy + Clone {}
impl<T: 'static> Clone for S<T> {
    fn clone(&self) -> Self {
        *self
        //~^ ERROR cannot move out of `*self` which is behind a shared reference
    }
}
fn main() {}