//@ compile-flags: -Znext-solver
//@ check-pass
fn foo<T>(x: T) {
std::mem::discriminant(&x);
}
fn main() {}