fn main() {
let _ = Iterator::next(&mut ());
- //~^ ERROR the trait `core::iter::Iterator` is not implemented
+ //~^ ERROR `(): std::iter::Iterator` is not satisfied
for _ in false {}
- //~^ ERROR the trait `core::iter::Iterator` is not implemented
+ //~^ ERROR `bool: std::iter::Iterator` is not satisfied
let _ = Iterator::next(&mut ());
- //~^ ERROR the trait `core::iter::Iterator` is not implemented
+ //~^ ERROR `(): std::iter::Iterator` is not satisfied
other()
}
// check errors are still reported globally
let _ = Iterator::next(&mut ());
- //~^ ERROR the trait `core::iter::Iterator` is not implemented
+ //~^ ERROR `(): std::iter::Iterator` is not satisfied
let _ = Iterator::next(&mut ());
- //~^ ERROR the trait `core::iter::Iterator` is not implemented
+ //~^ ERROR `(): std::iter::Iterator` is not satisfied
for _ in false {}
- //~^ ERROR the trait `core::iter::Iterator` is not implemented
+ //~^ ERROR `bool: std::iter::Iterator` is not satisfied
}