summary refs log tree commit diff
path: root/compiler/rustc_const_eval/src/check_consts/check.rs
AgeCommit message (Expand)AuthorLines
2024-08-31const fn stability checking: also check declared language featuresRalf Jung-3/+1
2024-08-26Auto merge of #129508 - RalfJung:transient-locals, r=cjgillotbors-18/+32
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-10/+6
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-5/+5
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-2/+2
2024-08-11Use assert_matches around the compilerMichael Goulet-2/+3
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-6/+5
2024-07-28step cfg(bootstrap)Mark Rousskov-4/+1
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/+12
2024-07-02Instance::resolve -> Instance::try_resolve, and other nitsMichael Goulet-1/+1
2024-06-16Rename InstanceDef -> InstanceKindMichael Goulet-2/+2
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-3/+3
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+1
2024-05-24compiler: unnest rustc_const_eval::check_constsJubilee Young-0/+1014