about summary refs log tree commit diff
path: root/compiler/rustc_traits
AgeCommit message (Expand)AuthorLines
2022-06-27Update `smallvec` to 1.8.1.Nicholas Nethercote-1/+1
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-1/+0
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-4/+4
2022-06-08Folding revamp.Nicholas Nethercote-3/+4
2022-06-03Fully stabilize NLLJack Huey-1/+0
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-28/+27
2022-05-13Add bound_impl_trait_refJack Huey-5/+5
2022-05-13Add bound_type_ofJack Huey-1/+4
2022-05-10Introduce EarlyBinderJack Huey-19/+28
2022-03-28Remove opaque type obligation and just register opaque types as they are enco...Oli Scherer-6/+0
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-0/+8
2022-03-24Swap DtorckConstraint to DropckConstraintInfRandomness-8/+8
2022-03-23make rustc work againMichael Goulet-10/+37
2022-03-23upgrade chalkMichael Goulet-3/+3
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-10/+10
2022-02-22chalk/db: use correct debrujin index when replacing opaque type.Dario Nieuwenhuis-15/+40
2022-02-21chalk/lowering: lower generator types.Dario Nieuwenhuis-1/+4
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-11/+8
2022-02-19Adopt let else in more placesest31-3/+3
2022-02-15Overhaul `Const`.Nicholas Nethercote-7/+7
2022-02-15Remove unnecessary `RegionKind::` quals.Nicholas Nethercote-22/+18
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-8/+8
2022-02-15Overhaul `PredicateInner` and `Predicate`.Nicholas Nethercote-2/+2
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-1/+1
2022-02-11Reverse parameter to placeholder substitution in chalk resultsMatthew Jasper-10/+40
2022-02-11Fix more chalk lowering issuesMatthew Jasper-16/+22
2022-02-11Stop using a placeholder for empty regions in ChalkMatthew Jasper-60/+14
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-8/+0
2022-02-09Avoid clone.Camille GILLOT-4/+4
2022-02-09Ensure that queries only return Copy types.Camille GILLOT-4/+4
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-0/+8
2022-01-28Remove generalization over projectionkadmin-1/+4
2022-01-19⬆ chalk to 0.76.0pierwill-3/+3
2022-01-18Auto merge of #87648 - JulianKnodt:const_eq_constrain, r=oli-obkbors-3/+17
2022-01-18Rollup merge of #92640 - compiler-errors:array-deref-on-newtype, r=lcnrMatthias Krüger-4/+4
2022-01-17Add term to ExistentialProjectionkadmin-1/+3
2022-01-17Update term for use in more placeskadmin-2/+14
2022-01-17Use Term in ProjectionPredicatekadmin-2/+2
2022-01-15initial revertEllen-13/+2
2022-01-12Canonicalize const variables correctlyMichael Goulet-4/+4
2022-01-07Add `trait_item_def_id` to `AssocItem`Matthew Jasper-13/+3
2021-12-31Auto merge of #91929 - anuvratsingh:remove_in_band_lifetimes_compiler_rustc_t...bors-10/+9
2021-12-30Removed `in_band_lifetimes` from `rustc_traits`Anuvrat-10/+9
2021-12-23Auto merge of #92167 - pierwill:chalk-update, r=jackh726bors-84/+85
2021-12-22Update chalk to 0.75.0pierwill-84/+85
2021-12-13get rid of normalize_generic_arg... queriesb-naber-18/+2
2021-12-13normalize_generic_arg_after in terms of try versionb-naber-34/+11
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-44/+35
2021-12-01implement version of normalize_erasing_regions that doesn't assume value is n...b-naber-0/+40
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-21/+24
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 17:20:50 +0000