about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/util.rs
AgeCommit message (Expand)AuthorLines
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
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-6/+6
2024-08-08Rename struct_tail_erasing_lifetimes to struct_tail_for_codegenMichael Goulet-9/+5
2024-08-01interpret: simplify pointer arithmetic logicRalf Jung-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-9/+10
2024-07-24Do not try to reveal hidden types when trying to prove Freeze in the defining...Oli Scherer-1/+1
2024-06-23Replace `f16` and `f128` pattern matching stubs with real implementationsTrevor Gross-1/+3
2024-06-21Rename a bunch of thingsMichael Goulet-3/+3
2024-06-18Uplift the new trait solverMichael Goulet-36/+0
2024-05-29fix non-existing ToPredicate trait errorDaria Sukhonina-2/+2
2024-05-29Optimize async drop glue for some old typesDaria Sukhonina-53/+86
2024-05-29Start implementing needs_async_drop and relatedDaria Sukhonina-64/+132
2024-05-26Give EarlyBinder a tcx parameterMichael Goulet-2/+2
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-05-16Rename ToPredicate for UpcastMichael Goulet-3/+3
2024-05-15Rollup merge of #124990 - fmease:expand-weak-aliases-within-cts, r=compiler-e...Matthias Krüger-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 08:51:29 +0000