tests/ui/auto-traits/str-contains-slice-conceptually.rs


1
2
3
4
5
6
7
8
9
10
11
12
13

#![feature(negative_impls)]
#![feature(auto_traits)]

auto trait AutoTrait {}

impl<T> !AutoTrait for [T] {}

fn needs_auto_trait<T: AutoTrait + ?Sized>() {}

fn main() {
  needs_auto_trait::<str>();
  //~^ ERROR the trait bound `[u8]: AutoTrait` is not satisfied in `str`
}