about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/walk.rs
AgeCommit message (Expand)AuthorLines
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