about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/subst.rs
AgeCommit message (Expand)AuthorLines
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-2/+2
2022-06-21Reverse folder hierarchyAlan Egerton-1/+1
2022-06-19Move RegionKind to rustc_type_irJack Huey-2/+2
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-06-08Auto merge of #94732 - nnethercote:infallible-encoder, r=bjorn3bors-1/+1
2022-06-08Folding revamp.Nicholas Nethercote-16/+9
2022-06-08Use delayed error handling for `Encodable` and `Encoder` infallible.Nicholas Nethercote-1/+1
2022-05-28Make TyCtxt implement Interner, make HashStable generic and move to rustc_typ...Michael Goulet-3/+3
2022-05-28Initial fixes on top of type interner commitMichael Goulet-3/+3
2022-05-28Move things to rustc_type_irWilco Kusee-4/+4
2022-05-22Lifetime variance fixes for rustcMichael Goulet-9/+9
2022-05-14Add rustc_on_unimplemented to SubstJack Huey-0/+1
2022-05-10Introduce EarlyBinderJack Huey-5/+9
2022-05-08Remove subst_spannedJack Huey-38/+10
2022-05-02fix most compiler/ doctestsElliot Roberts-17/+17
2022-04-07Document and rename the new wrapper typeOli Scherer-3/+3
2022-03-31Move stable hash from TyS into a datastructure that can be shared with other ...Oli Scherer-3/+3
2022-03-16resolve the conflict in compiler/rustc_session/src/parse.rscodehorseman-1/+1
2022-02-21reviewlcnr-1/+2
2022-02-21optimize `TypeFoldable` for 2 element tupleslcnr-0/+39
2022-02-21safely `transmute<&List<Ty<'tcx>>, &List<GenericArg<'tcx>>>`lcnr-1/+37
2022-02-15Inline GenericArg conversion functionsTomasz Miąsko-0/+4
2022-02-15Overhaul `Const`.Nicholas Nethercote-17/+15
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-5/+8
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-7/+15
2022-02-04fold substslcnr-9/+1
2022-01-22Make `Decodable` and `Decoder` infallible.Nicholas Nethercote-2/+2
2022-01-19remove `is_noop`lcnr-4/+0
2022-01-15initial revertEllen-1/+1
2021-12-15Remove `in_band_lifetimes` from `rustc_middle`Aaron Hill-1/+1
2021-12-02Rename TypeFolderFallible to FallibleTypeFolderAlan Egerton-3/+3
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-29/+29
2021-11-27Remove erroneous merge conflictAlan Egerton-4/+0
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-1/+1
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-12/+22
2021-11-26Make `TypeFoldable` implementors short-circuit on errorLeSeulArtichaut-14/+19
2021-11-07Implement type inference for inline constsGary Guo-1/+9
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-5/+1
2021-08-24Auto merge of #87900 - jackh726:issue-87429, r=nikomatsakisbors-2/+2
2021-08-23When checking associated type bounds, use bound vars for GAT params in param_envjackh726-2/+2
2021-08-22Fix typos “a”→“an”Frank Steffahn-3/+3
2021-05-26Fix typoPaul Trojahn-1/+1
2021-04-02Auto merge of #83207 - oli-obk:valtree2, r=lcnrbors-0/+6
2021-04-01Inline some functions that suddenly show up more in tracesOli Scherer-3/+1
2021-03-31Add tcx lifetime to BinderJack Huey-1/+4
2021-03-31bail out early when substituting mir constants that don't need substitutingOli Scherer-0/+3
2021-03-31Add a new normalization query just for mir constantsOli Scherer-0/+5
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-2/+2
2020-11-16compiler: fold by valueBastian Kauschke-8/+8
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-27 06:27:40 +0000