about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/util.rs
AgeCommit message (Expand)AuthorLines
2025-09-12Auto merge of #146328 - zetanumbers:fix-141951, r=lcnrbors-4/+1
2025-09-09Auto merge of #145717 - BoxyUwU:erase_regions_rename, r=lcnrbors-6/+5
2025-09-09Driveby fixesBoxy-3/+2
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-5/+5
2025-09-08fixup limit handling codeJana Dönszelmann-1/+1
2025-09-08Skip typeck for items w/o their own typeck contextDaria Sukhonina-4/+1
2025-07-29Reuse `sign_extend` helperOli Scherer-1/+1
2025-07-13Generalize TyCtxt::item_name.Camille GILLOT-1/+1
2025-07-10Properly track the depth when expanding free alias typesLeón Orell Valerian Liehr-2/+4
2025-06-27Report infer ty errors during hir ty loweringOli Scherer-0/+1
2025-06-16trait_sel: extend fast path with sized hierarchyDavid Wood-1/+3
2025-05-27Fix some var namesMichael Goulet-2/+2
2025-05-27Rename unpack to kindMichael Goulet-2/+2
2025-05-20Querify coroutine_hidden_typesMichael Goulet-35/+1
2025-05-15Async drop fix for dropee from another crate (#140858)Andrew Zhogin-1/+1
2025-05-01Set groundwork for proper const normalizationBoxy-0/+2
2025-04-28Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomezbors-21/+21
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-81/+28
2025-04-24Remove `weak` alias terminologyBoxy-21/+21
2025-04-16Auto merge of #139768 - compiler-errors:split-fold, r=lcnrbors-0/+36
2025-04-15Split TypeFolder and FallibleTypeFolderMichael Goulet-0/+36
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-2/+2
2025-04-06remove compiler support for `extern "rust-intrinsic"` blocksSkgland-5/+2
2025-04-04Rollup merge of #139348 - meithecatte:async-destructor-minify, r=petrochenkovMatthias Krüger-12/+3
2025-04-04Rollup merge of #139041 - nnethercote:rm-rustc_middle-ty-util-ExplicitSelf, r...Matthias Krüger-49/+0
2025-04-04adt_destructor: sanity-check returned itemMaja Kądziołka-0/+5
2025-04-04AsyncDestructor: replace fields with impl_didMaja Kądziołka-12/+3
2025-04-02Fetch the destructor constness lazilyOli Scherer-4/+4
2025-04-02Only look at trait impls in the current crate when looking for `Drop` implsOli Scherer-12/+22
2025-04-01Ensure `calculcate_dtor` is only ever called on local typesOli Scherer-2/+2
2025-03-28Remove `rustc_middle::ty::util::ExplicitSelf`.Nicholas Nethercote-49/+0
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-03-06Account for UseCloned on expr_use_visitorSantiago Pastorino-0/+12
2025-03-01Rollup merge of #137689 - compiler-errors:coroutine, r=lcnrMatthias Krüger-40/+26
2025-02-26Use bound_coroutine_witnesses in old solverMichael Goulet-18/+1
2025-02-26Use Binder<Vec<T>> instead of Vec<Binder<T>> in new solverMichael Goulet-22/+25
2025-02-24ssa/mono: deduplicate `type_has_metadata`David Wood-0/+14
2025-02-24remove support for rustc_intrinsic_must_be_overridden from the compilerRalf Jung-7/+6
2025-02-16Move hashes from rustc_data_structure to rustc_hashes so they can be shared w...Ben Kimock-1/+2
2025-02-08Rustfmtbjorn3-4/+5
2025-02-07Rollup merge of #136554 - compiler-errors:opt-alias-variances, r=lcnrMatthias Krüger-0/+23
2025-02-06Add opt_alias_variances and use it in outlives codeMichael Goulet-0/+23
2025-02-05Eagerly detect coroutine recursion pre-mono when possibleMichael Goulet-56/+2
2025-02-01Rename `tcx.ensure()` to `tcx.ensure_ok()`Zalathar-2/+2
2025-01-20Get rid of mir::Const::from_ty_constMichael Goulet-4/+5
2025-01-14Make `#[rustc_private]` override dependency visibilityTrevor Gross-0/+5
2025-01-04rustc_intrinsic: support functions without body; they are implicitly marked a...Ralf Jung-1/+8
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-2/+8
2024-12-15Rollup merge of #134285 - oli-obk:push-vwrqsqlwnuxo, r=UrgauStuart Cook-1/+1
2024-12-14Add some convenience helper methods on `hir::Safety`Oli Scherer-1/+1