about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Expand)AuthorLines
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
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-13/+13
2023-05-29Auto merge of #111748 - nnethercote:Cow-DiagnosticMessage, r=WaffleLapkinbors-17/+18
2023-05-29Use `Cow` in `{D,Subd}iagnosticMessage`.Nicholas Nethercote-17/+18
2023-05-28Auto merge of #111813 - scottmcm:pretty-mir, r=cjgillotbors-14/+14
2023-05-28Add documentation on skip_binder on how to get &T from &EarlyBinder<T>Kyle Matsuda-0/+3
2023-05-28Make EarlyBinder's inner value private; and fix all of the resulting errorsKyle Matsuda-3/+3
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-12/+16
2023-05-28Auto merge of #111378 - jieyouxu:local-shadows-glob-reexport, r=petrochenkovbors-1/+1
2023-05-27Rollup merge of #111952 - cjgillot:drop-replace, r=WaffleLapkinGuillaume Gomez-1/+6
2023-05-27Add warn-by-default lint for local binding shadowing exported glob re-export ...许杰友 Jieyou Xu (Joe)-1/+1
2023-05-26better `TyKind::Debug`Boxy-52/+84
2023-05-26print const and type errors in braces not square bracketsBoxy-3/+3
2023-05-26Wait until type_of to remap HIR opaques back to their defn paramsMichael Goulet-1/+1
2023-05-26Auto merge of #111984 - matthiaskrgr:rollup-6u7ynyv, r=matthiaskrgrbors-4/+1
2023-05-26Rollup merge of #111899 - nnethercote:cgu-cleanups, r=wesleywiserMatthias Krüger-4/+1