tests/ui/traits/negative-bounds/negative-sized.rs


1
2
3
4
5
6
7
8

#![feature(negative_bounds)]

fn foo<T: !Sized>() {}

fn main() {
    foo::<()>();
    //~^ ERROR the trait bound `(): !Sized` is not satisfied
}