summary refs log tree commit diff
path: root/tests/ui/const-generics/generic_const_exprs
AgeCommit message (Expand)AuthorLines
2025-03-11Implement `#[define_opaque]` attribute for functions.Oli Scherer-4/+4
2025-03-03Don't typeck during WF, instead check outside of WF in check_crateMichael Goulet-6/+6
2025-02-14Trim suggestion parts to the subset that is purely additiveMichael Goulet-8/+8
2025-02-14Use underline suggestions for purely 'additive' replacementsMichael Goulet-24/+16
2025-02-14fallout :skull_emoji:lcnr-25/+25
2025-02-10Show diff suggestion format on verbose replacementEsteban Küber-20/+30
2025-01-31Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxuMatthias Krüger-5/+5
2025-01-28Properly check that array length is valid type during built-in unsizing in indexMichael Goulet-0/+2
2025-01-26Compiler: Finalize dyn compatibility renamingLeón Orell Valerian Liehr-5/+5
2025-01-22Auto merge of #135896 - matthiaskrgr:rollup-g6rv7za, r=matthiaskrgrbors-1/+1
2025-01-22Refactor dyn-compatibility error and suggestionsTaylor Cramer-29/+34
2025-01-16Properly note when query stack is being cut offMichael Goulet-1/+1
2025-01-11Remove a bunch of diagnostic stashing that doesn't do anythingMichael Goulet-5/+22
2025-01-09Always take the `Ok` path in `lit_to_const` and produce error constants insteadOli Scherer-0/+43
2025-01-01Try to write the panic message with a single `write_all` callJohn Kåre Alsaker-0/+1
2024-12-27Remove the `-test` suffix from normalize directivesZalathar-3/+3
2024-12-18add testslcnr-0/+30
2024-12-09fix ICE on type error in promotedRalf Jung-14/+0
2024-12-06Remove polymorphizationBen Kimock-46/+0
2024-12-01fix ICE when promoted has layout size overflowRalf Jung-0/+14
2024-11-27Rollup merge of #133518 - compiler-errors:structurally-resolve-never, r=lcnrMatthias Krüger-8/+8
2024-11-27Bless tests due to extra error reporting due to normalizing types that are no...Michael Goulet-8/+8
2024-11-26Rollup merge of #133471 - lcnr:uwu-gamer, r=BoxyUwUMichael Goulet-0/+64
2024-11-25fix gce typing_mode mismatchlcnr-0/+64
2024-11-24Simplify array length mismatch error reportingMichael Goulet-3/+1
2024-11-21Stop being so bail-y in candidate assemblyMichael Goulet-0/+36
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-129/+0
2024-11-03Yeet effects featureMichael Goulet-2/+2
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-1/+1
2024-10-26Deny calls to non-`#[const_trait]` methods in MIR constckDeadbeef-9/+21
2024-10-15stabilize `-Znext-solver=coherence`lcnr-20/+19
2024-10-11Don't assume traits used as type are trait objsVulnBandit-38/+5
2024-10-10UI tests: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-12/+12
2024-09-29fix(hir_analysis/wfcheck): don't leak {type error}Barrett Ray-3/+3
2024-09-27Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-...Matthias Krüger-5/+5
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-5/+5
2024-09-24Ban combination of GCE and new solverMichael Goulet-1/+9
2024-09-22Introduce structurally_normalize_const, use it in hir_typeckMichael Goulet-2/+2
2024-09-20Normalize unevaluated consts in GCEMichael Goulet-44/+7
2024-09-17Remove redundant test typeid equality by subtypingSantiago Pastorino-81/+0
2024-09-12Re-enable `ConstArgKind::Path` lowering by defaultNoah Lev-14/+7
2024-09-11Revert 'Stabilize -Znext-solver=coherence'Michael Goulet-19/+20
2024-09-05stabilize `-Znext-solver=coherence`lcnr-20/+19
2024-08-24Rollup merge of #129246 - BoxyUwU:feature_gate_const_arg_path, r=cjgillotMatthias Krüger-10/+17
2024-08-19Retroactively feature gate `ConstArgKind::Path`Boxy-10/+17
2024-08-17Bless test falloutMichael Goulet-3/+3
2024-08-10Auto merge of #128714 - camelid:wf-struct-exprs, r=BoxyUwUbors-1/+13
2024-08-05WF-check struct field types at construction siteNoah Lev-1/+13
2024-08-05interpret: move nullary-op evaluation into operator.rsRalf Jung-1/+1
2024-08-03Revert "Rollup merge of #125572 - mu001999-contrib:dead/enhance, r=pnkfelix"Michael Goulet-2/+1