summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/wf-object/only-maybe-bound.rs
blob: 3e6db3e997c9b7da2007b5b0878fa051f1402c0c (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 ?Trait` is not permitted in trait object types

fn main() {}