about summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/check_consts
AgeCommit message (Expand)AuthorLines
2024-10-22terminology: #[feature] *enables* a feature (instead of "declaring" or "activ...Ralf Jung-6/+6
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-49/+4
2024-10-14Merge `AnalysisDomain` into `Analysis`.Nicholas Nethercote-7/+2
2024-10-08fix/update teach_note from 'escaping mutable ref/ptr' const-checkRalf Jung-3/+4
2024-09-26Stabilize `const_refs_to_static`Ding Xiang Fei-29/+0
2024-09-24be even more precise about "cast" vs "coercion"Lukas Markeffsky-1/+2
2024-09-24unify dyn* coercions with other pointer coercionsLukas Markeffsky-6/+6
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-18/+14
2024-09-15also stabilize const_refs_to_cellRalf Jung-77/+21
2024-09-15const_refs_to_cell: dont let mutable references sneak past the interior mutab...Ralf Jung-1/+12
2024-09-15clean up const checking of mutable referencesRalf Jung-77/+2
2024-09-15stabilize const_mut_refsRalf Jung-199/+9
2024-09-14Auto merge of #128543 - RalfJung:const-interior-mut, r=fee1-deadbors-2/+3
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-3/+3
2024-09-10const-eval interning: accpt interior mutable pointers in final value (but kee...Ralf Jung-2/+3
2024-09-03Add `warn(unreachable_pub)` to `rustc_const_eval`.Nicholas Nethercote-23/+23
2024-08-31Rollup merge of #129659 - RalfJung:const-fn-lang-feat, r=fee1-deadMatthias Krüger-3/+1
2024-08-31const fn stability checking: also check declared language featuresRalf Jung-3/+1
2024-08-27Rollup merge of #129507 - RalfJung:per-fn-const_precise_live_drops, r=wesleyw...Matthias Krüger-2/+8
2024-08-26Auto merge of #129508 - RalfJung:transient-locals, r=cjgillotbors-18/+32
2024-08-25make it possible to enable const_precise_live_drops per-functionRalf Jung-2/+8
2024-08-25dont iterate over the bitsetRalf Jung-4/+2
2024-08-25only visit reachable blocks, do not use a visitorRalf Jung-28/+16
2024-08-24const checking: properly compute the set of transient localsRalf Jung-17/+45
2024-08-22stabilize const_fn_floating_point_arithmeticRalf Jung-48/+12
2024-08-21Use bool in favor of Option<()> for diagnosticsMichael Goulet-7/+7
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-8/+8
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-2/+2
2024-08-12Rollup merge of #128978 - compiler-errors:assert-matches, r=jieyouxuGuillaume Gomez-2/+3
2024-08-11Use assert_matches around the compilerMichael Goulet-2/+3
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
2024-08-10rustc_const_eval: remove redundant `#[allow(rustc::untranslatable_diagnostic)]`Pavel Grigorenko-2/+0
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-2/+2
2024-07-30Auto merge of #128083 - Mark-Simulacrum:bump-bootstrap, r=albertlarsan68bors-4/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-19/+16
2024-07-28step cfg(bootstrap)Mark Rousskov-4/+1
2024-07-24Do not try to reveal hidden types when trying to prove Freeze in the defining...Oli Scherer-1/+27
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-1/+1
2024-07-07Support tail calls in mir via `TerminatorKind::TailCall`Maybe Waffle-3/+13
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-1/+1
2024-06-18Remove redundant argument from `subdiagnostic` methodOli Scherer-1/+1
2024-06-18Use a dedicated type instead of a reference for the diagnostic contextOli Scherer-2/+2
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-2/+2
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-4/+4
2024-06-05Add `Ty` to `mir::Const::Ty`Boxy-2/+2
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-1/+1
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+1
2024-05-29Use parenthetical notation for `Fn` traitsEsteban Küber-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-14 01:22:39 +0000