about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/walk.rs
AgeCommit message (Expand)AuthorLines
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-08-12Streamline some inputs/output traversals.Nicholas Nethercote-4/+2
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-3/+6
2024-07-29Reformat `use` declarations.Nicholas Nethercote-2/+2
2024-07-06Remove walk_shallowMichael Goulet-17/+0
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-1/+2
2024-06-05Basic removal of `Ty` from places (boring)Boxy-14/+11
2024-06-04Downsize `ty::Expr`Boxy-18/+1
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_middle`.Nicholas Nethercote-0/+1
2024-04-29Remove `extern crate smallvec` from a couple of crates.Nicholas Nethercote-1/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+9
2024-03-22Make RawPtr take Ty and Mutbl separatelyMichael Goulet-2/+2
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+1
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-1/+1
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-4/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-14/+14
2023-04-18Remove `as_substs` usageMaybe Waffle-1/+1
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+1
2022-12-26remove unused importsTakayuki Maeda-1/+1
2022-12-13Combine identical alias armsMichael Goulet-2/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-2/+2
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-11-25Add empty ConstKind::Abstractkadmin-0/+18
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-0/+16
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-1/+1
2022-09-05Pack `Term` in the same way as `GenericArg`.Nicholas Nethercote-3/+3
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-05-02fix most compiler/ doctestsElliot Roberts-1/+1
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-1/+1
2022-02-15Overhaul `Const`.Nicholas Nethercote-2/+2
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-3/+3
2022-01-17Add term to ExistentialProjectionkadmin-2/+5
2022-01-15initial revertEllen-30/+11
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-1/+1
2021-08-26ignore const substs in `implicit_infer`lcnr-9/+22
2021-08-26add `tcx` to `fn walk`lcnr-18/+23
2021-08-26make unevaluated const substs optionallcnr-1/+2
2021-03-20extract `ConstKind::Unevaluated` into a structlcnr-2/+2
2021-02-23Small optimizations to obligation forestkadmin-1/+1
2020-09-26MiniSet/MiniMap moved and renamed into SsoHashSet/SsoHashMapValerii Lashmanov-4/+4
2020-09-23Move MiniSet to data_structuresAndreas Jonson-43/+1
2020-09-17Only visit types once when walking the type treeValerii Lashmanov-8/+72
2020-09-04Change ty.kind to a methodLeSeulArtichaut-1/+1
2020-08-31Remove notrust in rustc_middleIvan Tham-2/+2
2020-08-30mv compiler to compiler/mark-0/+182
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-23 11:47:24 +0000