diff options
| author | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2017-05-18 14:28:40 +0300 |
|---|---|---|
| committer | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2017-05-25 10:46:47 +0300 |
| commit | fa13cd3489c09d2de6ae4b2d0d455c1cf3db82fc (patch) | |
| tree | d3b12abcf9041024ca1b2e48827de0ac79d91993 /src/test | |
| parent | 4386f97a93ea0b5f17807f894db5cb662893de03 (diff) | |
| download | rust-fa13cd3489c09d2de6ae4b2d0d455c1cf3db82fc.tar.gz rust-fa13cd3489c09d2de6ae4b2d0d455c1cf3db82fc.zip | |
Use parameter environment associated with field use, not field definition
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/compile-fail/union/union-unsafe.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/test/compile-fail/union/union-unsafe.rs b/src/test/compile-fail/union/union-unsafe.rs index a67603675f1..2e018e696a4 100644 --- a/src/test/compile-fail/union/union-unsafe.rs +++ b/src/test/compile-fail/union/union-unsafe.rs @@ -33,8 +33,7 @@ fn generic_noncopy<T: Default>() { fn generic_copy<T: Copy + Default>() { let mut u3 = U3 { a: T::default() }; - // FIXME: it should be known here that `T: Copy`, need to use correct "parameter environment" - u3.a = T::default(); //~ ERROR assignment to non-`Copy` union field requires unsafe + u3.a = T::default(); // OK let mut u4 = U4 { a: T::default() }; u4.a = T::default(); // OK } |