summary refs log tree commit diff
path: root/tests/ui/transmutability
AgeCommit message (Expand)AuthorLines
2024-10-01TransmuteFrom: Gracefully handle unnormalized types and normalization errorsJack Wrenn-0/+56
2024-09-20TL note: current means targetJubilee Young-2/+2
2024-09-15Rollup merge of #130371 - saethlin:transmutability-enum-ice, r=compiler-errorsMatthias Krüger-0/+9
2024-09-14Correctly account for niche-optimized tagsBen Kimock-1/+1
2024-09-14Add a testBen Kimock-0/+9
2024-09-12Re-enable `ConstArgKind::Path` lowering by defaultNoah Lev-20/+5
2024-09-11Revert 'Stabilize -Znext-solver=coherence'Michael Goulet-38/+0
2024-09-05rebase and update fixed `crashes`lcnr-0/+38
2024-08-27safe transmute: Rename `BikeshedIntrinsicFrom` to `TransmuteFrom`Jack Wrenn-459/+459
2024-08-24Rollup merge of #129246 - BoxyUwU:feature_gate_const_arg_path, r=cjgillotMatthias Krüger-22/+41
2024-08-21safe transmute: gracefully bubble-up layout errorsJack Wrenn-28/+111
2024-08-19Retroactively feature gate `ConstArgKind::Path`Boxy-22/+41
2024-08-18safe transmute: forbid reference lifetime extensionJack Wrenn-0/+328
2024-07-22Revert suggestion verbosity changeEsteban Küber-11/+9
2024-07-22On generic and lifetime removal suggestion, do not leave behind stray `,`Esteban Küber-1/+2
2024-07-22Change suggestion message wordingEsteban Küber-1/+1
2024-07-22Use verbose suggestion for "wrong # of generics"Esteban Küber-7/+10
2024-07-16Add `ConstArgKind::Path` and make `ConstArg` its own HIR nodeNoah Lev-20/+5
2024-06-20Rollup merge of #126620 - oli-obk:taint_errors, r=fee1-deadMatthias Krüger-1/+1
2024-06-19Const generic parameters aren't bounds, even if we end up erroring because of...Oli Scherer-1/+1
2024-06-14safe transmute: support non-ZST, variantful, uninhabited enumsJack Wrenn-7/+65
2024-06-12Rollup merge of #126358 - jswrenn:fix-125811, r=compiler-errorsJubilee-0/+26
2024-06-13safe transmute: support `Variants::Single` enumsJack Wrenn-0/+26
2024-06-12Harmonize use of leaf and root obligation in trait error reportingMichael Goulet-2/+2
2024-06-03Mark all extraneous generic args as errorsOli Scherer-19/+2
2024-05-09Fix test problems discovered by the revision checkZalathar-3/+2
2024-04-08Compute transmutability from `rustc_target::abi::Layout`Jack Wrenn-520/+611
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