diff options
Diffstat (limited to 'src/test/ui/packed/packed-with-inference-vars-issue-61402.rs')
-rw-r--r-- | src/test/ui/packed/packed-with-inference-vars-issue-61402.rs | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/src/test/ui/packed/packed-with-inference-vars-issue-61402.rs b/src/test/ui/packed/packed-with-inference-vars-issue-61402.rs deleted file mode 100644 index 659864c1d..000000000 --- a/src/test/ui/packed/packed-with-inference-vars-issue-61402.rs +++ /dev/null @@ -1,22 +0,0 @@ -// run-pass -// If a struct is packed and its last field has drop glue, then that -// field needs to be Sized (to allow it to be destroyed out-of-place). -// -// This is checked by the compiler during wfcheck. That check used -// to have problems with associated types in the last field - test -// that this doesn't ICE. - -#![allow(unused_imports, dead_code)] - -pub struct S; - -pub trait Trait<R> { type Assoc; } - -impl<X> Trait<X> for S { type Assoc = X; } - -#[repr(C, packed)] -struct PackedAssocSized { - pos: Box<<S as Trait<usize>>::Assoc>, -} - -fn main() { println!("Hello, world!"); } |