tests/ui/unsafe/issue-3080.thir.stderr

   1 error[E0133]: call to unsafe function `X::with` is unsafe and requires unsafe function or block
   2   --> $DIR/issue-3080.rs:10:5
   3    |
   4 LL |     X(()).with();
   5    |     ^^^^^^^^^^^^ call to unsafe function
   6    |
   7    = note: consult the function's documentation for information on how to avoid undefined behavior
   8
   9 error: aborting due to previous error
  10
  11 For more information about this error, try `rustc --explain E0133`.