summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/context.rs
AgeCommit message (Expand)AuthorLines
2025-02-13Auto merge of #136593 - lukas-code:ty-value-perf, r=oli-obkbors-24/+21
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-0/+1
2025-02-13intern valtreesLukas Markeffsky-24/+21
2025-02-10Rollup merge of #136731 - safinaskar:parallel-2025-02-08-07-22, r=SparrowLiiMatthias Krüger-3/+0
2025-02-08Rustfmtbjorn3-10/+16
2025-02-08rustc_middle: parallel: TyCtxt: remove "unsafe impl DynSend/DynSync"Askar Safin-3/+0
2025-02-06Add opt_alias_variances and use it in outlives codeMichael Goulet-0/+8
2025-02-06Auto merge of #136471 - safinaskar:parallel, r=SparrowLiibors-5/+5
2025-02-06Fix whitespace in lift macros.Nicholas Nethercote-14/+16
2025-02-06Clean up trivial traversal/lift impl generator macro calls.Nicholas Nethercote-9/+5
2025-02-04Auto merge of #136115 - Mark-Simulacrum:shard-alloc-id, r=RalfJungbors-2/+2
2025-02-03tree-wide: parallel: Fully removed all `Lrc`, replaced with `Arc`Askar Safin-5/+5
2025-02-01Shard AllocMap LockMark Rousskov-2/+2
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-1/+1
2025-01-30introduce `ty::Value`Lukas Markeffsky-11/+15
2025-01-28Make item self/non-self bound naming less whackMichael Goulet-3/+3
2025-01-28Do not assume child bound assumptions for rigid aliasMichael Goulet-0/+14
2025-01-27Rollup merge of #135988 - bjorn3:workaround_parallel_rustc_crash, r=lqdGuillaume Gomez-15/+30
2025-01-24use `fmt::from_fn` in more places, instead of using structs that impl formatt...Yotam Ofek-45/+35
2025-01-24Add a workaround for parallel rustc crashing when there are delayed bugsbjorn3-15/+30
2025-01-23`visit_x_unambig`Boxy-2/+2
2025-01-23Split hir `TyKind` and `ConstArgKind` in two and update `hir::Visitor`Boxy-3/+3
2025-01-21Move supertrait_def_ids into the elaborate module like all other fnsMichael Goulet-10/+4
2025-01-16Coerce safe-to-call target_feature functions to fn pointers.Luca Versari-1/+32
2025-01-14Add `tcx.visible_traits()` and use it for producing diagnosticsTrevor Gross-0/+11
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-1/+1
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-1/+3
2024-12-18introduce `LateParamRegionKind`lcnr-1/+1
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
2024-12-17small refactor to region error handlinglcnr-10/+7
2024-12-17Auto merge of #134302 - bjorn3:remove_driver_queries, r=oli-obk,jieyouxubors-44/+35
2024-12-15Add hir::AttributeJonathan Dönszelmann-5/+8
2024-12-15Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=UrgauStuart Cook-3/+3
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-3/+3
2024-12-14Immediately enter in TyCtxt::create_global_ctxtbjorn3-31/+22
2024-12-14Move GlobalCtxt::finish to TyCtxtbjorn3-13/+13
2024-12-12Move impl constness into impl trait headerOli Scherer-1/+1
2024-12-09interpret: clean up deduplicating allocation functionsRalf Jung-1/+1
2024-12-05do not implement unsafe auto traits for types with unsafe fieldsJack Wrenn-0/+4
2024-11-28Auto merge of #123244 - Mark-Simulacrum:share-inline-never-generics, r=saethlinbors-2/+0
2024-11-28Share inline(never) generics across cratesMark Rousskov-2/+0
2024-11-27Rollup merge of #132410 - bjorn3:yet_another_driver_refactor_round, r=cjgillotMatthias Krüger-2/+11
2024-11-26Remove -Zfuel.Camille GILLOT-4/+0
2024-11-23global old solver cache: use `TypingEnv`lcnr-2/+2
2024-11-22Check drop is trivial before checking ty needs dropMichael Goulet-1/+4
2024-11-22Implement ~const Destruct in new solverMichael Goulet-0/+5
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-2/+2
2024-11-20Rip out built-in PointerLike implMichael Goulet-14/+0
2024-11-20Rollup merge of #133216 - compiler-errors:const-fn, r=lcnrJacob Pratt-1/+5
2024-11-19Implement ~const Fn trait goals in the new solverMichael Goulet-1/+5