about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/subst.rs
AgeCommit message (Expand)AuthorLines
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-2/+2
2023-02-24Rename many interner functions.Nicholas Nethercote-10/+10
2023-02-22Remove type-traversal trait aliasesAlan Egerton-26/+35
2023-02-16`if $c:expr { Some($r:expr) } else { None }` =>> `$c.then(|| $r)`Maybe Waffle-5/+3
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-5/+9
2023-02-13Make folding traits generic over the InternerAlan Egerton-5/+5
2023-02-13Make visiting traits generic over the InternerAlan Egerton-3/+3
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-9/+9
2023-01-26add EarlyBinder::no_bound_varsKyle Matsuda-0/+5
2023-01-17Rollup merge of #106953 - kylematsuda:early-binder-docs, r=jackh726Matthias Krüger-0/+19
2023-01-16document EarlyBinder::subst_identity and skip_binderKyle Matsuda-0/+19
2023-01-16Rollup merge of #106940 - oli-obk:tait_error, r=compiler-errorsMatthias Krüger-0/+7
2023-01-16Improve a TAIT error and add an error code plus documentationOli Scherer-0/+7
2023-01-15instantiate_own doesn't need to return a pair of vectorsMichael Goulet-0/+15
2023-01-14add EarlyBinder::subst_identity; impl ParameterizedOverTcx (needed for rustc...Kyle Matsuda-0/+4
2023-01-12is_ty_infer -> is_ty_or_numeric_inferMichael Goulet-1/+1
2022-12-23Rollup merge of #105661 - lcnr:evaluate-new, r=compiler-errorsnils-0/+4
2022-12-22Rollup merge of #105960 - oli-obk:effect_cleanup, r=fee1-deadMatthias Krüger-1/+1
2022-12-20Some ICE debugging aidsOli Scherer-1/+1
2022-12-20use `track_caller` to show where the panic is actually fromOli Scherer-0/+4
2022-12-19implement the skeleton of the updated trait solverlcnr-0/+4
2022-12-16Rename ConstS to ConstDataOli Scherer-2/+2
2022-12-13Make InternalSubsts rust docs a bit clearerSantiago Pastorino-1/+1
2022-12-06Rollup merge of #104898 - oli-obk:group_all_the_things, r=wesleywiserMatthias Krüger-3/+4
2022-12-06Add GenericParamDef::to_error and InternalSubsts::extend_with_errorMichael Goulet-0/+16
2022-11-30Remove TySOli Scherer-2/+2
2022-11-30move WithCachedTypeInfo to rustc_type_irOli Scherer-1/+2
2022-11-30s/WithStableHash/WithCachedTypeInfo/Oli Scherer-3/+3
2022-11-26Auto merge of #104945 - GuillaumeGomez:rollup-ygzbpbe, r=GuillaumeGomezbors-0/+9
2022-11-26Do not record unresolved const vars in generator interiorMichael Goulet-0/+9
2022-11-22Add size hints to early binder iterator adaptersMichael Goulet-0/+12
2022-11-15Rollup merge of #104258 - compiler-errors:tait-closure-deduce, r=oli-obkMatthias Krüger-9/+69
2022-11-10Support DoubleEndedIterator for subst_iter and subst_iter_copiedMichael Goulet-9/+69
2022-11-10broken links go brrrrrBoxy-1/+1
2022-11-09docsBoxy-0/+3
2022-10-23Rollup merge of #103123 - compiler-errors:early-binder-iter, r=cjgillotMatthias Krüger-0/+23
2022-10-22Introduce subst_iter and subst_iter_copied on EarlyBinderMichael Goulet-0/+23
2022-10-18change `ConstEvaluatable` to use `ty::Const`lcnr-0/+8
2022-10-17mir constants: type traversing bye byelcnr-6/+0
2022-10-15Fix subst issues with RPITITMichael Goulet-3/+16
2022-09-29Auto merge of #101893 - oli-obk:lift_derive, r=lcnrbors-0/+1
2022-09-20Retry with inlining attributesOli Scherer-7/+2
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-8/+69
2022-09-16Revert TypeVisitor changesOli Scherer-1/+7
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