//@ known-bug: #136175
#![feature(generic_const_exprs)]
#![allow(incomplete_features)]
trait Trait {}
struct A<T>(T)
where
[(); size_of::<T>()]:;
fn main() {
let x: A<dyn Trait>;
}