about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/inhabitedness
AgeCommit message (Expand)AuthorLines
2025-07-20Don't consider unstable fields always-inhabitedNadrieril-16/+0
2025-06-17Don't build `ParamEnv` and do trait solving in `ItemCtxt`sBoxy-7/+3
2025-04-24Remove `weak` alias terminologyBoxy-1/+1
2025-03-20Auto merge of #133889 - compiler-errors:inh-unstable, r=Nadrierilbors-0/+16
2025-03-18Dont consider fields that are forced unstable due to -Zforce-unstable-if-unma...Michael Goulet-1/+8
2025-03-18Consider fields to be inhabited if they are unstableMichael Goulet-0/+9
2025-03-07Add helper methods checking for "#[non_exhaustive] that's active"Maja Kądziołka-1/+1
2025-03-04InhabitedPredicate: avoid using a wildcard branchMaja Kądziołka-1/+4
2025-03-04Clarify why InhabitedPredicate::instantiate_opt existsMaja Kądziołka-0/+5
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-20/+25
2024-10-19Get rid of const eval_* and try_eval_* helpersMichael Goulet-1/+1
2024-09-02Non-exhaustive structs may be emptyNadrieril-4/+0
2024-07-29Reformat `use` declarations.Nicholas Nethercote-3/+3
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-0/+2
2024-04-29Remove `extern crate rustc_macros` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-03-14make `Representability::Infinite` carry `ErrorGuaranteed`Lukas Markeffsky-1/+1
2023-12-23Reveal empty opaques in depthNadrieril-18/+73
2023-12-09Detect cycles in `InhabitedPredicate::apply`Nadrieril-10/+31
2023-10-20Adjust importsMichael Goulet-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-17/+17
2023-07-05Deal with falloutBoxy-2/+2
2023-06-27Normalize types when applying uninhabited predicate.Camille GILLOT-1/+12
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-2/+2
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-2/+2
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-3/+3
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-0/+6
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-1/+1
2023-03-03Match unmatched backticks in comments in compiler/est31-1/+1
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-1/+1
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16change usages of type_of to bound_type_ofKyle Matsuda-1/+1
2023-02-15Use target instead of machine for mir interpreter integer handling.Oli Scherer-2/+2
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-1/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-1/+1
2022-11-20Factor out conservative_is_privately_uninhabitedCameron Steffen-0/+16
2022-11-20Change to Ty::is_inhabited_fromCameron Steffen-51/+49
2022-11-20Fix typoCameron Steffen-1/+1
2022-11-20Fix doctest errors related to rustc_middlereez12g-2/+3
2022-10-22Introduce InhabitedPredicateCameron Steffen-292/+315
2022-08-27rustc_middle: Remove `Visibility::Invisible`Vadim Petrochenkov-4/+0
2022-05-28Move things to rustc_type_irWilco Kusee-1/+2
2022-05-02fix most compiler/ doctestsElliot Roberts-2/+5
2022-04-13couple of clippy::complexity fixesMatthias Krüger-1/+1
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-4/+4
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-4/+3
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-3/+3
2022-02-09Use a slice in DefIdForest.Camille GILLOT-23/+21
2022-02-09Ensure that queries only return Copy types.Camille GILLOT-1/+1
2022-01-15Simplify DefIdForest.Camille GILLOT-5/+5
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 21:03:08 +0000