src/test/ui/traits/safety-fn-body.thir.stderr

   1 error[E0133]: dereference of raw pointer is unsafe and requires unsafe function or block
   2   --> $DIR/safety-fn-body.rs:14:9
   3    |
   4 LL |         *self += 1;
   5    |         ^^^^^ dereference of raw pointer
   6    |
   7    = note: raw pointers may be null, dangling or unaligned; they can violate aliasing rules and cause data races: all of these are undefined behavior
   8
   9 error: aborting due to previous error
  10
  11 For more information about this error, try `rustc --explain E0133`.