summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/subst.rs
AgeCommit message (Expand)AuthorLines
2022-09-15Merge all `TypeVisitable for &List<T>` impls into one generic oneOli Scherer-7/+1
2022-07-28`BoundVarReplacer`: trait object instead of 3 fnslcnr-0/+8
2022-07-22Outline `SubstFolder` bug reporting code pathsTomasz Miąsko-55/+70
2022-07-22Inline `SubstFolder::tcx`Tomasz Miąsko-0/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-4/+2
2022-07-05Explicit TypeVisitable implementationsAlan Egerton-0/+7
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 22:31:15 +0000