about summary refs log tree commit diff
path: root/compiler/rustc_middle/src
AgeCommit message (Expand)AuthorLines
2024-03-19Auto merge of #122037 - oli-obk:more_new_intrinsics, r=Nilstriebbors-9/+18
2024-03-19Change only_local to enum type and change the macros to always require a vari...surechen-8/+2
2024-03-19Auto merge of #122021 - oli-obk:delangitemification, r=compiler-errorsbors-47/+7
2024-03-19Ensure nested statics have a HIR node to prevent various queries from ICEingOli Scherer-0/+21
2024-03-19Remove all checks of `IntrinsicDef::must_be_overridden` except for the actual...Oli Scherer-3/+1
2024-03-19Make span_bug panic site useful againOli Scherer-9/+18
2024-03-19Make `const_eval_select` a rustc_intrinsicOli Scherer-1/+3
2024-03-19Auto merge of #119212 - w-utter:pretty-print-const-expr, r=compiler-errorsbors-2/+152
2024-03-19The AssocOpaqueTy HIR node is not actually needed to differentiate from other...Oli Scherer-2/+2
2024-03-19Auto merge of #122493 - lukas-code:sized-constraint, r=lcnrbors-16/+19
2024-03-19Auto merge of #122055 - compiler-errors:stabilize-atb, r=oli-obkbors-1/+1
2024-03-18address nitsLukas Markeffsky-1/+1
2024-03-18Rollup merge of #122687 - lcnr:normalizes-to-emit-nested-goals, r=compiler-er...Matthias Krüger-15/+25
2024-03-18Rollup merge of #122158 - estebank:feature-sugg, r=WaffleLapkinMatthias Krüger-1/+42
2024-03-18Deduplicate `associated_body` and `body_id`Oli Scherer-47/+7
2024-03-18cleanup + reviewlcnr-13/+4
2024-03-18update region debug formattingBoxy-2/+16
2024-03-18Provide structured suggestion for `#![feature(foo)]`Esteban Küber-1/+42
2024-03-18`NormalizesTo` return nested goalslcnr-2/+21
2024-03-18Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ...Oli Scherer-18/+18
2024-03-17Print a backtrace in const eval if interruptedBen Kimock-0/+2
2024-03-17Guard decorate on when not to skip instead许杰友 Jieyou Xu (Joe)-7/+4
2024-03-17Invoke decorate when error level is beyond warning, including error许杰友 Jieyou Xu (Joe)-7/+16
2024-03-17Only invoke `decorate` if the diag can eventually be emitted许杰友 Jieyou Xu (Joe)-2/+10
2024-03-17added pretty_print_const_exprwill-2/+152
2024-03-16Auto merge of #121926 - tgross35:f16-f128-step3-feature-gate, r=compiler-erro...bors-2/+64
2024-03-15Rollup merge of #122513 - petrochenkov:somehir4, r=fmeaseGuillaume Gomez-18/+5
2024-03-15interpret/allocation: fix aliasing issue in interpreter and refactor getters ...Ralf Jung-11/+31
2024-03-15Rollup merge of #122526 - Zalathar:thir-expr-docs, r=oli-obkMatthias Krüger-1/+12
2024-03-15Docs for `thir::ExprKind::Use` and `thir::ExprKind::Let`Zalathar-1/+12
2024-03-15Auto merge of #122517 - petrochenkov:bodihash, r=oli-obkbors-0/+27
2024-03-15Auto merge of #122511 - matthiaskrgr:rollup-swzilin, r=matthiaskrgrbors-3/+83
2024-03-14Fill in HIR hash for associated opaque typesVadim Petrochenkov-0/+27
2024-03-14remove unnecessary sized checksLukas Markeffsky-4/+7
2024-03-14clean up ADT sized constraint computationLukas Markeffsky-7/+7
2024-03-14make `Representability::Infinite` carry `ErrorGuaranteed`Lukas Markeffsky-6/+6
2024-03-14hir: Remove `opt_local_def_id_to_hir_id` and `opt_hir_node_by_def_id`Vadim Petrochenkov-18/+5
2024-03-14Rollup merge of #122487 - GuillaumeGomez:rename-stmtkind-local, r=oli-obkMatthias Krüger-1/+1
2024-03-14Rollup merge of #122322 - Zalathar:branch, r=oli-obkMatthias Krüger-2/+82
2024-03-14Auto merge of #119849 - lcnr:eagerly-instantiate-binders, r=compiler-errorsbors-0/+1
2024-03-14Auto merge of #122497 - matthiaskrgr:rollup-pg9ux4r, r=matthiaskrgrbors-2/+3
2024-03-14eagerly instantiate binders to avoid relying on `sub`lcnr-0/+1
2024-03-14Rollup merge of #122406 - compiler-errors:next-solver-asynckind-wf, r=lcnrMatthias Krüger-2/+3
2024-03-14Rename `hir::StmtKind::Local` into `hir::StmtKind::Let`Guillaume Gomez-1/+1
2024-03-14coverage: Include recorded branch info in coverage instrumentationZalathar-1/+8
2024-03-14Add compiler support for parsing `f16` and `f128`Trevor Gross-2/+64
2024-03-14coverage: Data structures for recording branch info during MIR buildingZalathar-2/+51
2024-03-13Create some minimal HIR for associated opaque typesVadim Petrochenkov-17/+21
2024-03-13coverage: Add `CoverageKind::BlockMarker`Zalathar-0/+17
2024-03-13coverage: Make `is_eligible_for_coverage` a hook methodZalathar-0/+7