trait I {}
type K = dyn I + 'static;

fn foo(_x: K) {}
//~^ ERROR the size for values of type

fn main() {}