src/test/ui/resolve/issue-5035-2.rs

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

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

fn main() {}