about summary refs log tree commit diff
path: root/tests/ui/traits/wf-object/only-maybe-bound.rs
blob: 96360e0331cdb27cb62780a41c5b788ec6fad271 (plain)
1
2
3
4
5
6
7
// 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 relaxed bounds are not permitted in trait object types

fn main() {}