about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
2023-06-07Auto merge of #111047 - compiler-errors:rtn-no-ty-ct-params, r=spastorinobors-1/+0
2023-06-06Auto merge of #112361 - matthiaskrgr:rollup-39zxrw1, r=matthiaskrgrbors-12/+0
2023-06-06Add -Ztrait-solver=next-coherenceMichael Goulet-0/+8
2023-06-06New trait solver is a property of inference contextMichael Goulet-1/+1
2023-06-06remove `has_error_field` helper methodlcnr-12/+0
2023-06-05cleanup some skip_binder -> subst_identityKyle Matsuda-1/+1
2023-06-05Remove redundant InferCtxtExt::fresh_item_substsMichael Goulet-1/+0
2023-06-04Use 128 bits for TypeId hashThom Chiovoloni-2/+11
2023-06-02Rollup merge of #112183 - compiler-errors:new-solver-anon-ct, r=BoxyUwUMichael Goulet-9/+0
2023-06-02Rollup merge of #112168 - scottmcm:lower-div-rem-unchecked-to-mir, r=oli-obkMichael Goulet-4/+9
2023-06-02No more TyCtxt::lazy_normalizationMichael Goulet-9/+0
2023-06-02Separate AnonConst from ConstBlock in HIR.Camille GILLOT-9/+10
2023-06-02Rollup merge of #112189 - compiler-errors:bad-gen, r=cjgillotMatthias Krüger-4/+14
2023-06-02Rollup merge of #112165 - fee1-dead-contrib:rn-defualtness, r=compiler-errorsMatthias Krüger-4/+5
2023-06-02Auto merge of #112198 - compiler-errors:rollup-o2xe4of, r=compiler-errorsbors-0/+15
2023-06-01Rollup merge of #112190 - nnethercote:improve-comments-TyCtxt-GlobalCtxt, r=c...Michael Goulet-0/+12
2023-06-01Rollup merge of #111670 - compiler-errors:const-param-ty, r=BoxyUwUMichael Goulet-0/+3
2023-06-02Auto merge of #111677 - fee1-dead-contrib:rustc_const_eval-translatable, r=ol...bors-359/+434
2023-06-01Clarify when MIR `Div`/`Rem` trigger UBScott McMurray-4/+9
2023-06-02Improve comments on `TyCtxt` and `GlobalCtxt`.Nicholas Nethercote-0/+12
2023-06-01Assert that closures and generators are made with the right number of substit...Michael Goulet-4/+14
2023-06-01Rollup merge of #112155 - nnethercote:debug_dump, r=wesleywiserMatthias Krüger-0/+2
2023-06-01Implement custom diagnostic for ConstParamTyMichael Goulet-0/+3
2023-06-01Remember names of `cfg`-ed out items to mention them in diagnosticsNilstrieb-1/+12
2023-06-01improve debug message by eagerly translatingDeadbeef-13/+1
2023-06-01Use translatable diagnostics in `rustc_const_eval`Deadbeef-353/+440
2023-06-01Auto merge of #112164 - Dylan-DPC:rollup-93zj7jw, r=Dylan-DPCbors-5/+1
2023-06-01Rename `impl_defaultness` to `defaultness`Deadbeef-4/+5
2023-06-01Rollup merge of #111980 - compiler-errors:unmapped-substs, r=lcnrDylan DPC-5/+1
2023-06-01Auto merge of #103877 - oli-obk:const_eval_step_limit, r=fee1-deadbors-26/+2
2023-06-01Improve CGU debug printing.Nicholas Nethercote-0/+2
2023-05-31Check that RPITs are compatible with the opaques inferred during HIR typeck tooMichael Goulet-4/+0
2023-05-31Auto merge of #111913 - oli-obk:valtrees2, r=lcnrbors-58/+1
2023-05-31Inline from_inline_const into its sole call siteOli Scherer-46/+1
2023-05-31Remove `lit_to_mir_constant` queryOli Scherer-4/+0
2023-05-31Remove `deref_mir_constant`Oli Scherer-8/+0
2023-05-31Only rewrite valtree-constants to patterns and keep other constants opaqueOli Scherer-2/+2
2023-05-31Auto merge of #111076 - notriddle:notriddle/silence-private-dep-trait-impl-su...bors-1/+21
2023-05-31Remove const eval limit and implement an exponential backoff lint insteadOli Scherer-26/+2
2023-05-31Auto merge of #111623 - BoxyUwU:move_eval_hack, r=compiler-errorsbors-11/+0
2023-05-31move hack to `normalize_param_env_or_error`Boxy-11/+0
2023-05-31Auto merge of #112070 - lcnr:disjoint-closure-capture-ub, r=oli-obkbors-7/+8
2023-05-30Auto merge of #111881 - lcnr:leak-check, r=nikomatsakis,jackh726bors-13/+0
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-13/+13
2023-05-30leak_check: remove unused codepathlcnr-13/+0
2023-05-30Auto merge of #112075 - WaffleLapkin:unmkII, r=lcnrbors-109/+127
2023-05-29Rollup merge of #111988 - BoxyUwU:make_tykind_debug_good, r=compiler-errorsMatthias Krüger-52/+84
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-109/+127
2023-05-29add FIXMElcnr-0/+5
2023-05-29unique borrows are mutating useslcnr-7/+3