//! Test that monomorphization correctly distinguishes types with different ABI alignment.
//!
//! On x86_64-linux-gnu and similar platforms, structs get 8-byte "preferred"
//! alignment, but their "ABI" alignment (what actually matters for data layout)
//! is the largest alignment of any field. If monomorphization incorrectly uses
//! "preferred" alignment instead of "ABI" alignment, it might unify types `A`
//! and `B` even though `S<A>` and `S<B>` have field `t` at different offsets,
//! leading to incorrect method dispatch for `unwrap()`.

//@ run-pass

#[derive(Copy, Clone)]
struct S<T> {
    #[allow(dead_code)]
    i: u8,
    t: T,
}

impl<T> S<T> {
    fn unwrap(self) -> T {
        self.t
    }
}

#[derive(Copy, Clone, PartialEq, Debug)]
struct A((u32, u32)); // Different ABI alignment than B

#[derive(Copy, Clone, PartialEq, Debug)]
struct B(u64); // Different ABI alignment than A

pub fn main() {
    static CA: S<A> = S { i: 0, t: A((13, 104)) };
    static CB: S<B> = S { i: 0, t: B(31337) };

    assert_eq!(CA.unwrap(), A((13, 104)));
    assert_eq!(CB.unwrap(), B(31337));
}