about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/subst.rs
AgeCommit message (Expand)AuthorLines
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-1048/+0
2023-07-06Add a new trait to `Debug` things with an infcx availableBoxy-11/+0
2023-07-04enforce context effects in typeckDeadbeef-0/+5
2023-06-19change binders from tuple structs to named fieldslcnr-25/+28
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Add documentation on skip_binder on how to get &T from &EarlyBinder<T>Kyle Matsuda-0/+3
2023-05-28Make EarlyBinder's inner value private; and fix all of the resulting errorsKyle Matsuda-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-0/+4
2023-04-27rename `needs_subst` to `has_param`Boxy-2/+2
2023-04-26Make some region folders a little stricter.Nicholas Nethercote-1/+7
2023-04-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-0/+12
2023-04-22Rollup merge of #110622 - WaffleLapkin:hashtag#, r=compiler-errorsYuki Okushi-1/+1
2023-04-20Derive `HashStable` on `GenericArgKind` instead of implementing it by handMaybe Waffle-1/+1
2023-04-20add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder...Kyle Matsuda-0/+12
2023-04-20Rollup merge of #110599 - WaffleLapkin:bonk_tygenericarg_transmutes, r=compil...Matthias Krüger-13/+0
2023-04-20Remove an unused `&[Ty]` <-> `&[GenericArg]`Maybe Waffle-13/+0
2023-04-20Rollup merge of #110545 - WaffleLapkin:generic_arg_as_x, r=cjgillotMatthias Krüger-35/+35
2023-04-19Move `GenericArgKind::as_{type,const,region}` to `GenericArg`Maybe Waffle-48/+32
2023-04-19Add `GenericArgKind::as_{type,const,region}`Maybe Waffle-23/+39
2023-04-18Don't transmute `&List<GenericArg>` <-> `&List<Ty>`Maybe Waffle-20/+10
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