summaryrefslogtreecommitdiff
path: root/tests/ui/transmutability
AgeCommit message (Expand)Author
2023-06-29Enable co-induction support for Safe TransmuteBryan Garza
2023-06-12Safe Transmute: Refactor error handling and Answer typeBryan Garza
2023-06-07Safe Transmute: Disable coinduction supportBryan Garza
2023-05-24Safe Transmute: Update definition of Condition typeBryan Garza
2023-05-24Safe Transmute: Check mutability before creating dst -> src obligationBryan Garza
2023-05-24Safe Transmute: Add alignment testsBryan Garza
2023-05-24Safe Transmute: Fix propagation of errorsBryan Garza
2023-05-24Safe Transmute: Enable handling references, including recursive typesBryan Garza
2023-04-18Fix ICE for transmutability in candidate assemblyBryan Garza
2023-04-16Erase regions when confirming transmutability candidateMichael Goulet
2023-04-13Improve safe transmute error reportingBryan Garza
2023-04-10testsMichael Goulet
2023-03-23Note type mismatch on ConstArgHasTypeMichael Goulet
2023-03-09Use param's real type in try_eval_lit_or_paramMichael Goulet
2023-02-23diagnostics: remove inconsistent English article "this" from E0107Michael Howell
2023-02-21Specify what 'this' actually isMichael Goulet
2023-01-30Modify primary span label for E0308Esteban Küber
2023-01-12Render missing generics suggestion verboselyMichael Goulet
2023-01-11Move /src/test to /testsAlbert Larsan
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-10-23 14:32:06 +0000