about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/check_consts/ops.rs
AgeCommit message (Expand)AuthorLines
2025-08-09rename `TraitRef::from_method` to `from_assoc`Deadbeef-1/+1
2025-07-28use let chains in ast, borrowck, codegen, const_evalKivooeo-15/+12
2025-06-27Rollup merge of #143092 - RalfJung:const-check-lifetime-ext, r=oli-obkMatthias Krüger-11/+2
2025-06-27Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-deadMatthias Krüger-1/+1
2025-06-27const checks: avoid 'top-level scope' terminologyRalf Jung-11/+2
2025-06-26clarify and unify 'transient mutable borrow' errorsRalf Jung-16/+7
2025-06-26Change const trait bound syntax from ~const to [const]Oli Scherer-1/+1
2025-06-24Rollup merge of #135731 - frank-king:feature/pin-borrow, r=eholk,traviscrossJubilee-5/+7
2025-06-18Make feature suggestion more consistent.Camille GILLOT-19/+3
2025-06-15Implement pinned borrows, part of `pin_ergonomics`Frank King-5/+7
2025-06-05Replace some `Option<Span>` with `Span` and use DUMMY_SP instead of NoneOli Scherer-5/+1
2025-06-03Add `iter` macroOli Scherer-10/+11
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-05-01Clean up "const" situation in format_args!().Mara Bos-1/+1
2025-01-28Implement MIR const trait stability checksDeadbeef-9/+18
2025-01-18Structured suggestion for "missing `feature` intrinsic"Esteban Küber-0/+3
2025-01-18Structured suggestion for "missing `feature` in unstable fn call"Esteban Küber-2/+13
2025-01-13Assert that Instance::try_resolve is only used on body-like thingsMichael Goulet-4/+8
2025-01-09Unify conditional and non const call error reportingMichael Goulet-198/+233
2025-01-09Make the non-const part swappable in the diagnosticMichael Goulet-5/+11
2025-01-09Add note back to conditionally-const error messageMichael Goulet-2/+10
2024-12-23Note def descr in NonConstFunctionCallMichael Goulet-0/+1
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-1/+1
2024-12-03Auto merge of #133321 - compiler-errors:const-checker, r=wesleywiserbors-6/+5
2024-11-22Deduplicate checking drop terminatorMichael Goulet-1/+1
2024-11-22Gate const drop behind const_destruct feature, and fix const_precise_live_dro...Michael Goulet-6/+32
2024-11-22Get rid of HIR const checkerMichael Goulet-6/+5
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-5/+3
2024-11-13check_consts: fix error requesting feature gate when that gate is not actuall...Ralf Jung-2/+13
2024-11-09give a hint which feature is missingRalf Jung-15/+11
2024-11-09require const_impl_trait gate for all conditional and trait const callsRalf Jung-10/+29
2024-11-04add new rustc_const_stable_intrinsic attribute for const-stable intrinsicsRalf Jung-2/+2
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-1/+1
2024-11-01Completely deny calling functions with const conditions in MIR const check un...Michael Goulet-6/+5
2024-10-31stop using `ParamEnv::reveal` while handling MIRlcnr-1/+1
2024-10-31`ConstCx` stop using `ParamEnv::reveal`lcnr-2/+2
2024-10-29TypingMode :thinking:lcnr-2/+2
2024-10-25tcx.is_const_fn doesn't work the way it is described, remove itRalf Jung-2/+2
2024-10-25Re-do recursive const stability checksRalf Jung-19/+79
2024-10-08fix/update teach_note from 'escaping mutable ref/ptr' const-checkRalf Jung-3/+3
2024-09-26Stabilize `const_refs_to_static`Ding Xiang Fei-28/+0
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-5/+5
2024-09-15also stabilize const_refs_to_cellRalf Jung-17/+2
2024-09-15stabilize const_mut_refsRalf Jung-94/+3
2024-09-03Add `warn(unreachable_pub)` to `rustc_const_eval`.Nicholas Nethercote-20/+20
2024-08-22stabilize const_fn_floating_point_arithmeticRalf Jung-38/+6
2024-08-21Use bool in favor of Option<()> for diagnosticsMichael Goulet-7/+7
2024-08-10rustc_const_eval: make LazyLock suggestion translatablePavel Grigorenko-1/+1
2024-08-10rustc_const_eval: make message about "const stable" translatablePavel Grigorenko-2/+2