src/test/ui/unsafe/issue-47412.thir.stderr

   1 error[E0133]: access to union field is unsafe and requires unsafe function or block
   2   --> $DIR/issue-47412.rs:14:11
   3    |
   4 LL |     match u.void {}
   5    |           ^^^^^^ access to union field
   6    |
   7    = note: the field may not be properly initialized: using uninitialized data will cause undefined behavior
   8
   9 error[E0133]: dereference of raw pointer is unsafe and requires unsafe function or block
  10   --> $DIR/issue-47412.rs:20:11
  11    |
  12 LL |     match *ptr {}
  13    |           ^^^^ dereference of raw pointer
  14    |
  15    = note: raw pointers may be null, dangling or unaligned; they can violate aliasing rules and cause data races: all of these are undefined behavior
  16
  17 error: aborting due to 2 previous errors
  18
  19 For more information about this error, try `rustc --explain E0133`.