1 // Copyright 2013 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
11 #![allow(non_upper_case_globals)]
13 * On x86_64-linux-gnu and possibly other platforms, structs get 8-byte "preferred" alignment,
14 * but their "ABI" alignment (i.e., what actually matters for data layout) is the largest alignment
15 * of any field. (Also, u64 has 8-byte ABI alignment; this is not always true).
17 * On such platforms, if monomorphize uses the "preferred" alignment, then it will unify
18 * `A` and `B`, even though `S<A>` and `S<B>` have the field `t` at different offsets,
19 * and apply the wrong instance of the method `unwrap`.
22 #[derive(Copy, Clone)]
23 struct S<T> { i:u8, t:T }
26 fn unwrap(self) -> T {
31 #[derive(Copy, Clone, PartialEq, Debug)]
34 #[derive(Copy, Clone, PartialEq, Debug)]
38 static Ca: S<A> = S { i: 0, t: A((13, 104)) };
39 static Cb: S<B> = S { i: 0, t: B(31337) };
40 assert_eq!(Ca.unwrap(), A((13, 104)));
41 assert_eq!(Cb.unwrap(), B(31337));