about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/util.rs
AgeCommit message (Expand)AuthorLines
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
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+1
2024-05-11Also expand weak alias tys inside consts inside `expand_weak_alias_tys`León Orell Valerian Liehr-1/+1
2024-05-06Refactor float `Primitive`s to a separate `Float` typebeetrees-4/+3
2024-04-29Remove `extern crate smallvec` from a couple of crates.Nicholas Nethercote-1/+1
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-1/+1
2024-04-23Auto merge of #121801 - zetanumbers:async_drop_glue, r=oli-obkbors-0/+92
2024-04-22Fix typo in the has_surface_drop's doc commentDaria Sukhonina-1/+1
2024-04-19Stop taking ParamTy/ParamConst/EarlyParamRegion/AliasTy by refMichael Goulet-4/+4
2024-04-18Fix disabling the export of noop async_drop_in_place_rawDaria Sukhonina-1/+1
2024-04-17Use non-exhaustive matches for TyKindDaria Sukhonina-58/+59