[rustc.git] / src / test / ui / traits / wf-object / only-maybe-bound.rs

// Test that `dyn ?Sized` (i.e., a trait object with only a maybe buond) is not allowed.

type _0 = dyn ?Sized;
//~^ ERROR at least one trait is required for an object type [E0224]
//~| ERROR ?Trait` is not permitted in trait object types

fn main() {}
Commit	Line	Data
dc9dc135 XL	1	// Test that `dyn ?Sized` (i.e., a trait object with only a maybe buond) is not allowed.
	2
	3	type _0 = dyn ?Sized;
	4	//~^ ERROR at least one trait is required for an object type [E0224]
	5	//~\| ERROR ?Trait` is not permitted in trait object types
	6
	7	fn main() {}