fn main() {
let x: impl Sized = ();
//~^ ERROR `impl Trait` is not allowed in the type of variable bindings
}