error[E0277]: the trait bound `NotFoo: !Foo` is not satisfied
  --> $DIR/on-unimplemented.rs:9:15
   |
LL | fn hello() -> impl !Foo {
   |               ^^^^^^^^^ unsatisfied trait bound
LL |
LL |     NotFoo
   |     ------ return type was inferred to be `NotFoo` here
   |
help: the trait bound `NotFoo: !Foo` is not satisfied
  --> $DIR/on-unimplemented.rs:7:1
   |
LL | struct NotFoo;
   | ^^^^^^^^^^^^^

error: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0277`.