summary refs log tree commit diff
path: root/compiler/rustc_traits/src/chalk/db.rs
AgeCommit message (Expand)AuthorLines
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-08-02Add bound_predicates_of and bound_explicit_predicates_ofJack Huey-15/+16
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-5/+3
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-06-08Folding revamp.Nicholas Nethercote-1/+1
2022-05-13Add bound_impl_trait_refJack Huey-5/+5
2022-05-13Add bound_type_ofJack Huey-1/+4
2022-05-10Introduce EarlyBinderJack Huey-13/+14
2022-03-23make rustc work againMichael Goulet-10/+37
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-9/+9
2022-02-22chalk/db: use correct debrujin index when replacing opaque type.Dario Nieuwenhuis-15/+40
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-1/+1
2022-02-19Adopt let else in more placesest31-3/+2
2022-02-15Overhaul `Const`.Nicholas Nethercote-2/+2
2022-02-15Remove unnecessary `RegionKind::` quals.Nicholas Nethercote-1/+1
2022-02-11Fix more chalk lowering issuesMatthew Jasper-15/+5
2022-02-11Stop using a placeholder for empty regions in ChalkMatthew Jasper-11/+1
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-1/+1
2021-12-30Removed `in_band_lifetimes` from `rustc_traits`Anuvrat-1/+1
2021-12-22Update chalk to 0.75.0pierwill-45/+47
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-20/+18
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-18/+20
2021-08-22Fix typos “a”→“an”Frank Steffahn-1/+1
2021-03-31Add var to BoundRegion. Add query to get bound vars for applicable items.Jack Huey-1/+4
2021-03-23Add has_default to GenericParamDefKind::Constkadmin-1/+1
2021-02-02Update ChalkJack Huey-2/+2
2021-02-01Upgrade ChalkJack Huey-8/+80
2021-01-18Use ty::{IntTy,UintTy,FloatTy} in rustcLeSeulArtichaut-14/+14
2020-12-18Make BoundRegion have a kind of BoungRegionKindJack Huey-7/+5
2020-11-16compiler: fold by valueBastian Kauschke-2/+2
2020-10-30Fix various Chalk lowering bugsMatthew Jasper-36/+94
2020-10-30Update chalk 0.32.0 -> 0.35.0Matthew Jasper-42/+34
2020-10-30Fix some more clippy warningsJoshua Nelson-20/+20
2020-10-06Update to chalk 0.31. Implement some unimplemented. Ignore some tests in comp...Jack Huey-16/+20
2020-10-06Deduplicate some codeMatthew Jasper-24/+15
2020-10-06Fix rebaseMatthew Jasper-5/+11
2020-10-06Separate bounds and predicates for associated/opaque typesMatthew Jasper-5/+22
2020-09-24Upgrade chalk to 0.28.0Bram van den Heuvel-25/+74
2020-09-24Update chalk to 0.27.0Bram van den Heuvel-0/+1
2020-09-24Update chalk to 0.26.0Bram van den Heuvel-6/+8
2020-09-12Clean up some language trait items comparisonsAnthony Ramine-15/+5
2020-09-04Review commentsJack Huey-74/+92
2020-09-04More chalk workJack Huey-33/+46
2020-09-04Upgrade chalk to 0.21Jack Huey-75/+43
2020-09-04Change ty.kind to a methodLeSeulArtichaut-1/+1
2020-08-30mv compiler to compiler/mark-0/+588
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-28 02:07:38 +0000