//@check-pass use assert_type_match::assert_type_match; mod other { pub struct Test { pub x: T, pub y: T, } } #[assert_type_match(other::Test)] struct Test { x: T, y: T, } fn main() {}