summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/util.rs
AgeCommit message (Expand)AuthorLines
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
2024-12-12Move impl constness into impl trait headerOli Scherer-1/+1
2024-12-07Make `Copy` unsafe to implement for ADTs with `unsafe` fieldsJack Wrenn-0/+9
2024-12-02remove `Ty::is_copy_modulo_regions`lcnr-15/+18
2024-11-28uplift fold_regions to rustc_type_irlcnr-1/+2
2024-11-24Rollup merge of #133371 - RalfJung:is_trivially_const_drop, r=compiler-errorsMatthias Krüger-39/+0
2024-11-23remove remaining references to `Reveal`lcnr-2/+2
2024-11-23no more Reveal :(lcnr-1/+1
2024-11-23remove is_trivially_const_dropRalf Jung-39/+0
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-8/+12
2024-11-18Auto merge of #132460 - lcnr:questionable-uwu, r=compiler-errorsbors-27/+31
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-27/+31
2024-11-18rename rustc_const_stable_intrinsic -> rustc_intrinsic_const_stable_indirectRalf Jung-1/+1
2024-11-09Do not reveal opaques in the param-env, we got lazy norm insteadMichael Goulet-0/+1
2024-11-08remove support for rustc_safe_intrinsic attribute; use rustc_intrinsic functi...Ralf Jung-3/+3
2024-11-05Auto merge of #132580 - compiler-errors:globs, r=Noratriebbors-2/+5
2024-11-04when an intrinsic has a const-stable fallback body, we can easily expose it o...Ralf Jung-2/+1
2024-11-04add new rustc_const_stable_intrinsic attribute for const-stable intrinsicsRalf Jung-0/+2
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-2/+5
2024-11-03compiler: Directly use rustc_abi in metadata and middleJubilee Young-3/+2
2024-10-24Remove associated type based effects logicMichael Goulet-44/+2
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-4/+4
2024-10-20Rip out old effects var handling code from traitsMichael Goulet-18/+0
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-14Consider synthetic closure bodies to be typeck childrenMichael Goulet-1/+4
2024-09-06Make `Ty::boxed_ty` return an `Option`Pavel Grigorenko-1/+1
2024-08-25Avoid taking reference of &TyKindMichael Goulet-1/+1
2024-08-17Use cnum for extern crate dataMichael Goulet-1/+1
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-6/+6
2024-08-11Remove struct_tail_no_normalizationMichael Goulet-8/+0
2024-08-11Rename normalization functions to rawMichael Goulet-7/+9
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-25 09:54:10 +0000