5cc83fd4a5
THIR unsafety checking was getting a cycle of function unsafety checking -> building THIR for the function -> evaluating pattern inline constants in the function -> building MIR for the inline constant -> checking unsafety of functions (so that THIR can be stolen) This is fixed by not stealing THIR when generating MIR but instead when unsafety checking. This leaves an issue with pattern inline constants not being unsafety checked because they are evaluated away when generating THIR. To fix that we now represent inline constants in THIR patterns and visit them in THIR unsafety checking.
20 lines
751 B
Plaintext
20 lines
751 B
Plaintext
error[E0133]: call to unsafe function `foo` is unsafe and requires unsafe function or block
|
|
--> $DIR/const-extern-fn-requires-unsafe.rs:12:5
|
|
|
|
|
LL | foo();
|
|
| ^^^^^ call to unsafe function
|
|
|
|
|
= note: consult the function's documentation for information on how to avoid undefined behavior
|
|
|
|
error[E0133]: call to unsafe function `foo` is unsafe and requires unsafe function or block
|
|
--> $DIR/const-extern-fn-requires-unsafe.rs:9:17
|
|
|
|
|
LL | let a: [u8; foo()];
|
|
| ^^^^^ call to unsafe function
|
|
|
|
|
= note: consult the function's documentation for information on how to avoid undefined behavior
|
|
|
|
error: aborting due to 2 previous errors
|
|
|
|
For more information about this error, try `rustc --explain E0133`.
|