summary refs log tree commit diff
path: root/tests/ui/transmutability
AgeCommit message (Expand)AuthorLines
2024-03-15Safe Transmute: lowercase diagnosticsJack Wrenn-153/+153
2024-03-15Safe Transmute: Use 'not yet supported', not 'unspecified' in errorsJack Wrenn-26/+26
2024-03-13safe transmute: require that src referent is smaller than dstJack Wrenn-2/+76
2024-03-11Remove some unnecessary allow(incomplete_features)Michael Goulet-230/+228
2024-03-10Ignore tests w/ current/next revisions from compare-mode=next-solverMichael Goulet-236/+239
2024-02-27safe transmute: revise safety analysisJack Wrenn-1789/+1291
2024-02-16[AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives许杰友 Jieyou Xu (Joe)-39/+39
2024-02-14Continue compilation after check_mod_type_wf errorsOli Scherer-5/+20
2024-01-24Deduplicate more sized errors on call exprsEsteban Küber-1/+1
2024-01-13Bless testsGeorge-lewis-0/+2
2024-01-10Rollup merge of #119772 - oli-obk:whackamole, r=compiler-errorsMatthias Krüger-0/+47
2024-01-09Avoid silencing relevant follow-up errorsOli Scherer-1/+18
2024-01-09Fix an ICE that occurs after an error has already been reportedOli Scherer-0/+47
2023-12-14update use of feature flagslcnr-4/+4
2023-11-24Show number in error message even for one errorNilstrieb-23/+23
2023-08-02Replace old private-in-public diagnostic with type privacy lintsBryanskiy-18/+28
2023-07-18Auto merge of #113677 - bryangarza:unevaluated-const-ice_issue-110892, r=davi...bors-0/+76
2023-07-17Safe Transmute: Fix ICE (due to UnevaluatedConst)Bryan Garza-0/+76
2023-06-29Enable co-induction support for Safe TransmuteBryan Garza-56/+4
2023-06-12Safe Transmute: Refactor error handling and Answer typeBryan Garza-3/+19
2023-06-07Safe Transmute: Disable coinduction supportBryan Garza-4/+56
2023-05-24Safe Transmute: Update definition of Condition typeBryan Garza-2/+2
2023-05-24Safe Transmute: Check mutability before creating dst -> src obligationBryan Garza-51/+81
2023-05-24Safe Transmute: Add alignment testsBryan Garza-0/+76
2023-05-24Safe Transmute: Fix propagation of errorsBryan Garza-33/+33
2023-05-24Safe Transmute: Enable handling references, including recursive typesBryan Garza-45/+215
2023-04-18Fix ICE for transmutability in candidate assemblyBryan Garza-0/+17
2023-04-16Erase regions when confirming transmutability candidateMichael Goulet-4/+49
2023-04-13Improve safe transmute error reportingBryan Garza-534/+356
2023-04-10testsMichael Goulet-121/+1117
2023-03-23Note type mismatch on ConstArgHasTypeMichael Goulet-1/+1
2023-03-09Use param's real type in try_eval_lit_or_paramMichael Goulet-6/+8
2023-02-23diagnostics: remove inconsistent English article "this" from E0107Michael Howell-2/+2
2023-02-21Specify what 'this' actually isMichael Goulet-118/+118
2023-01-30Modify primary span label for E0308Esteban Küber-1/+1
2023-01-12Render missing generics suggestion verboselyMichael Goulet-6/+10
2023-01-11Move /src/test to /testsAlbert Larsan-0/+4698