about summary refs log tree commit diff
path: root/tests/ui/mir/validate
AgeCommit message (Expand)AuthorLines
2025-08-23Fix ICE when validating transmuting ZST to inhabited enumSamuel Tardieu-0/+26
2025-07-20Ban projecting into SIMD types [MCP838]Scott McMurray-0/+18
2025-07-19Give a message with a span on validation errorScott McMurray-2/+2
2025-05-04compiletest: Support matching on non-json lines in compiler outputVadim Petrochenkov-1/+3
2025-04-03compiletest: Require `//~` annotations even if `error-pattern` is specifiedVadim Petrochenkov-7/+7
2024-12-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-1/+1
2024-12-07Use trait name instead of full constraint in suggestion messageEsteban Küber-1/+1
2024-12-07reword trait bound suggestion message to include the boundsEsteban Küber-1/+1
2024-12-07Don't suggest restricting bound with unstable traits on stableEsteban Küber-1/+1
2024-12-02Allow fn pointers comparisons lint in UI testsUrgau-0/+2
2024-11-23remove remaining references to `Reveal`lcnr-2/+2
2024-09-25Validate unsize coercion in MIR validationMichael Goulet-0/+53
2024-06-03Reformat `mir!` macro invocations to use braces.Nicholas Nethercote-9/+8
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-23/+23
2024-02-09Don't ice in validation when error body is createdMichael Goulet-0/+18
2023-12-26custom mir: make it clear what the return block isRalf Jung-2/+2
2023-12-21Add pass to identify undefined or erroneous behaviourTomasz Miąsko-44/+0
2023-11-22Validate there are no critical call edges in optimized MIRTomasz Miąsko-0/+31
2023-11-14Custom MIR: Support cleanup blocksTomasz Miąsko-0/+55
2023-07-29Change default panic handler message format.Mara Bos-0/+1
2023-04-20Give more descriptive names to queries.Camille GILLOT-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-1/+1
2023-04-09Fix transmute intrinsic mir validation ICEJakob Degen-0/+17
2023-02-25MIR-Validate StorageLive.Camille GILLOT-0/+43
2023-01-11Move /src/test to /testsAlbert Larsan-0/+62