about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2025-02-17Rollup merge of #136671 - nnethercote:middle-limits, r=NadrierilMatthias Krüger-1/+4
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-5/+4
2025-02-17Move `rustc_middle::limits` to `rustc_interface`.Nicholas Nethercote-1/+0
2025-02-17Add `pattern_complexity_limit` to `Limits`.Nicholas Nethercote-0/+4
2025-02-16Move hashes from rustc_data_structure to rustc_hashes so they can be shared w...Ben Kimock-2/+3
2025-02-15HIR analysis: Remove unnecessary abstraction over list of clausesLeón Orell Valerian Liehr-1/+1
2025-02-15Replace some u64 hashes with Hash64Ben Kimock-3/+3
2025-02-13Auto merge of #136593 - lukas-code:ty-value-perf, r=oli-obkbors-80/+119
2025-02-13Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validityMichael Goulet-0/+5
2025-02-13intern valtreesLukas Markeffsky-80/+119
2025-02-12Auto merge of #135994 - 1c3t3a:rename-unsafe-ptr, r=oli-obkbors-5/+5
2025-02-12Rollup merge of #136884 - compiler-errors:fn-zst, r=BoxyUwUMatthias Krüger-4/+9
2025-02-11Lower fn items as ZST valtrees and delay a bugMichael Goulet-4/+9
2025-02-11Rollup merge of #136847 - nnethercote:simplify-intra-crate-quals, r=oli-obkMatthias Krüger-8/+7
2025-02-11Rollup merge of #136833 - workingjubilee:let-the-impossible-be-impossible, r=...Matthias Krüger-7/+0
2025-02-11Simplify intra-crate qualifiers.Nicholas Nethercote-8/+7
2025-02-10compiler: die immediately instead of handling unknown target codegenJubilee Young-7/+0
2025-02-10Rollup merge of #136731 - safinaskar:parallel-2025-02-08-07-22, r=SparrowLiiMatthias Krüger-3/+0
2025-02-10Extend the renaming to coerce_unsafe_ptrBastian Kersting-1/+1
2025-02-10Rename rustc_middle::Ty::is_unsafe_ptr to is_raw_ptrBastian Kersting-4/+4
2025-02-08Rustfmtbjorn3-32/+45
2025-02-08rustc_middle: parallel: TyCtxt: remove "unsafe impl DynSend/DynSync"Askar Safin-3/+0
2025-02-08Auto merge of #136713 - matthiaskrgr:rollup-sy6py39, r=matthiaskrgrbors-0/+31
2025-02-07Rollup merge of #136554 - compiler-errors:opt-alias-variances, r=lcnrMatthias Krüger-0/+31
2025-02-07Rollup merge of #136577 - dianne:simple-pat-migration-simplification, r=Nadri...Matthias Krüger-6/+20
2025-02-06Auto merge of #136641 - matthiaskrgr:rollup-lajwje5, r=matthiaskrgrbors-57/+3
2025-02-06Add opt_alias_variances and use it in outlives codeMichael Goulet-0/+31
2025-02-06Rollup merge of #136235 - oli-obk:transmuty-pat-tys, r=RalfJungMatthias Krüger-1/+1
2025-02-06Rollup merge of #136073 - compiler-errors:recursive-coro-always, r=oli-obkMatthias Krüger-56/+2
2025-02-06Auto merge of #136471 - safinaskar:parallel, r=SparrowLiibors-6/+6
2025-02-06Fix whitespace in lift macros.Nicholas Nethercote-20/+28
2025-02-06Clean up trivial traversal/lift impl generator macro calls.Nicholas Nethercote-57/+97
2025-02-05Eagerly detect coroutine recursion pre-mono when possibleMichael Goulet-56/+2
2025-02-05try to suggest eliding redundant binding modifiersdianne-1/+3
2025-02-05Pretty print pattern type values with `transmute` if they don't satisfy their...Oli Scherer-1/+1
2025-02-04Auto merge of #136115 - Mark-Simulacrum:shard-alloc-id, r=RalfJungbors-2/+2
2025-02-04experimentally label the spans for default binding modesdianne-4/+2
2025-02-03highlight the whole problem subpattern when pointing out the default binding ...dianne-2/+4
2025-02-03Rollup merge of #136430 - FedericoBruzzone:follow-up-136180, r=oli-obkMatthias Krüger-45/+46
2025-02-03Move `try_to_raw_bytes` from `ty::Valtree` to `ty::Value`FedericoBruzzone-37/+34
2025-02-03Refactor using the type-level constant value `ty::Value`FedericoBruzzone-27/+31
2025-02-03tree-wide: parallel: Fully removed all `Lrc`, replaced with `Arc`Askar Safin-6/+6
2025-02-03reword pattern migration diagnostic to make sense in all editionsdianne-6/+18
2025-02-03Auto merge of #133138 - azhogin:azhogin/target-modifiers, r=davidtwco,saethlinbors-0/+1
2025-02-02Target modifiers (special marked options) are recorded in metainfo and compar...Andrew Zhogin-0/+1
2025-02-02Rollup merge of #136368 - estebank:listify, r=fee1-deadMatthias Krüger-10/+6
2025-02-02Rollup merge of #136328 - estebank:long-ty-path, r=jieyouxu,lqdMatthias Krüger-41/+93
2025-02-01Shard AllocMap LockMark Rousskov-2/+2
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-3/+3
2025-01-31Rework "long type names" printing logicEsteban Küber-41/+93