about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
2024-05-03Rollup merge of #124418 - compiler-errors:better-cause, r=lcnrMichael Goulet-0/+3
2024-05-04Auto merge of #124401 - oli-obk:some_hir_cleanups, r=cjgillotbors-2/+2
2024-05-03Auto merge of #124675 - matthiaskrgr:rollup-x6n79ua, r=matthiaskrgrbors-1/+1
2024-05-03Rollup merge of #124555 - Zalathar:init-coverage, r=nnethercoteMatthias Krüger-1/+1
2024-05-03Auto merge of #123441 - saethlin:fixed-len-file-names, r=oli-obkbors-6/+5
2024-05-03Rollup merge of #124492 - Strophox:adjust-allocbytes, r=RalfJungMatthias Krüger-7/+5
2024-05-03remove trait bounds on AllocBytesStrophox-3/+1
2024-05-03Cow::from(&*...) changed to Cow::Owned(Vec::from(...))Strophox-1/+1
2024-05-03generalize adjust_from_tcxStrophox-4/+4
2024-05-03Rollup merge of #124610 - nnethercote:typenum, r=lcnrMatthias Krüger-8/+4
2024-05-02Higher ranked goal source, do overflow handling less badlyMichael Goulet-0/+3
2024-05-03Tweak `consts_may_unify`.Nicholas Nethercote-8/+4
2024-05-02Rollup merge of #124624 - WaffleLapkin:old_unit, r=fmeaseMatthias Krüger-7/+2
2024-05-02Inline & delete `Ty::new_unit`, since it's just a field accessWaffle Lapkin-7/+2
2024-05-01Step bootstrap cfgsMark Rousskov-4/+2
2024-05-01coverage: Replace `max_decision_depth` with `num_condition_bitmaps`Zalathar-1/+1
2024-04-30Give an item related to issue 27438 a more meaningful nameLeón Orell Valerian Liehr-8/+6
2024-04-30Give items related to issue 33140 a more meaningful nameLeón Orell Valerian Liehr-24/+25
2024-04-30Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-deadMatthias Krüger-53/+100
2024-04-29Take proof trees by value in inspect goalMichael Goulet-3/+3
2024-04-29Only register candidate if it is associated w a shallow certaintyMichael Goulet-4/+4
2024-04-29Actually use probes when needed and stop relying on existing outer probesMichael Goulet-6/+9
2024-04-29Auto merge of #124255 - RenjiSann:renji/mcdc-nested-expressions, r=Zalatharbors-11/+29
2024-04-29Avoid some `def_span` query callsOli Scherer-1/+1
2024-04-29mcdc-coverage: Get decision_depth from THIR loweringDorian Péron-0/+3
2024-04-29mcdc-coverage: Add decision_depth field in structsDorian Péron-11/+26
2024-04-29Remove `extern crate smallvec` from a couple of crates.Nicholas Nethercote-6/+4
2024-04-29Remove `extern crate bitflags` from a couple of crates.Nicholas Nethercote-5/+3
2024-04-29Remove `extern crate rustc_data_structures` from numerous crates.Nicholas Nethercote-14/+13
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-28/+80
2024-04-28Rollup merge of #124444 - compiler-errors:eval, r=lcnrMatthias Krüger-0/+9
2024-04-27Record certainty of evaluate_added_goals_and_make_canonical_response call in ...Michael Goulet-0/+9
2024-04-27Rollup merge of #124425 - saethlin:ceci-nest-pas-une-ice, r=compiler-errorsMatthias Krüger-6/+3
2024-04-26Do not ICE on invalid consts when walking mono-reachable blocksBen Kimock-6/+3
2024-04-26Auto merge of #122385 - lcnr:analyze-obligations-for-infer, r=compiler-errorsbors-0/+1
2024-04-26`Span`s are already 64 bit, just like references, so stop putting them behind...Oli Scherer-1/+1
2024-04-26Auto merge of #120845 - petrochenkov:debmac, r=oli-obkbors-17/+1
2024-04-25Rollup merge of #124381 - compiler-errors:derived-for-wf, r=lcnrMichael Goulet-2/+7
2024-04-25Rollup merge of #124379 - compiler-errors:remove-new-solver-lookup-behavior, ...Michael Goulet-56/+9
2024-04-25Renamed DerivedObligation to WellFormedDeriveObligationMichael Goulet-2/+7
2024-04-25hir typeck: look into nested goalslcnr-0/+1
2024-04-25debuginfo: Stabilize `-Z debug-macros`, `-Z collapse-macro-debuginfo` and `#[...Vadim Petrochenkov-17/+1
2024-04-25Remove special-casing for SimplifiedType for next solverMichael Goulet-56/+9
2024-04-25Check closure args and returns are WFMichael Goulet-1/+1
2024-04-24Auto merge of #104087 - nbdd0121:const, r=scottmcmbors-1/+1
2024-04-24Stabilise `inline_const`Gary Guo-1/+1
2024-04-24Auto merge of #122500 - petrochenkov:deleg, r=fmeasebors-3/+10
2024-04-24Error on using `yield` without also using `#[coroutine]` on the closureOli Scherer-52/+60
2024-04-23Auto merge of #121557 - RalfJung:const-fn-call-promotion, r=oli-obkbors-0/+14
2024-04-23filter required_consts during inliningRalf Jung-3/+2