//@ revisions: current next
//@ ignore-compare-mode-next-solver (explicit revisions)
//@[next] compile-flags: -Znext-solver
//@ run-pass

#![feature(offset_of_slice)]

use std::mem::offset_of;

trait Mirror {
    type Assoc: ?Sized;
}
impl<T: ?Sized> Mirror for T {
    type Assoc = T;
}

#[repr(C)]
struct S {
    a: u8,
    b: (u8, u8),
    c: <[i32] as Mirror>::Assoc,
}

#[repr(C)]
struct T {
    x: i8,
    y: S,
}

type Tup = (i16, <[i32] as Mirror>::Assoc);

fn main() {
    assert_eq!(offset_of!(S, c), 4);
    assert_eq!(offset_of!(T, y), 4);
    assert_eq!(offset_of!(T, y.c), 8);
    assert_eq!(offset_of!(Tup, 1), 4);
}