rust/tests/ui/inline-const
Matthew Jasper 5cc83fd4a5 Fix inline const pattern unsafety checking in THIR
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.
2023-10-16 15:57:59 +00:00
..
const-expr-array-init.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-expr-basic.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-expr-generic-err2.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-expr-generic-err2.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-expr-generic-err.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-expr-generic-err.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-expr-generic.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-expr-inference.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-expr-lifetime-err.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-expr-lifetime-err.stderr Tweak E0597 2023-01-15 19:46:20 +00:00
const-expr-lifetime.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-expr-macro.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-expr-reference.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-match-pat-generic.rs Perform match checking on THIR. 2023-04-03 15:59:21 +00:00
const-match-pat-generic.stderr Perform match checking on THIR. 2023-04-03 15:59:21 +00:00
const-match-pat-inference.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-match-pat-lifetime-err.rs Add some reasons why tests are ignored. 2023-04-15 16:11:42 -07:00
const-match-pat-lifetime.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-match-pat-range.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
const-match-pat.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
elided-lifetime-being-infer-vars.rs add inline-const test for elided lifetimes being infer vars 2023-06-01 02:28:31 +08:00
expr-unsafe-err.mir.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
expr-unsafe-err.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
expr-unsafe-err.thir.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
expr-unsafe.mir.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
expr-unsafe.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
expr-unsafe.thir.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
expr-with-block-err.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
expr-with-block-err.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
expr-with-block.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
instance-doesnt-depend-on-type.rs Don't use type_of to determine if item has intrinsic shim 2023-08-09 20:00:38 +00:00
interpolated.rs Fix inline_const with interpolated block 2023-07-19 16:24:58 +00:00
macro-with-const.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
pat-match-fndef.rs Deny FnDef in patterns 2023-08-15 04:03:04 +00:00
pat-match-fndef.stderr Deny FnDef in patterns 2023-08-15 04:03:04 +00:00
pat-unsafe-err.rs Fix inline const pattern unsafety checking in THIR 2023-10-16 15:57:59 +00:00
pat-unsafe-err.thir.stderr Fix inline const pattern unsafety checking in THIR 2023-10-16 15:57:59 +00:00
pat-unsafe.rs Fix inline const pattern unsafety checking in THIR 2023-10-16 15:57:59 +00:00
pat-unsafe.thir.stderr Fix inline const pattern unsafety checking in THIR 2023-10-16 15:57:59 +00:00
promotion.rs Prevent promotion of const fn calls in inline consts 2023-09-21 09:00:22 +00:00
promotion.stderr Prevent promotion of const fn calls in inline consts 2023-09-21 09:00:22 +00:00
required-const.rs Add a test to check that inline const is in required_consts 2023-08-18 17:07:07 +01:00
required-const.stderr Add a test to check that inline const is in required_consts 2023-08-18 17:07:07 +01:00