error: Negation of relation 'Ok' creates a dependency cycle and cannot be stratified.
 --> tests/ui/recursive_negation.rs:8:14
  |
8 |     Ok() <- !Ok();
  |              ^^