about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/chalk
AgeCommit message (Expand)AuthorLines
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-4/+3
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-1/+2
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-1/+1
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-14/+14
2022-12-13Remove chalk lowering for AliasTyMichael Goulet-11/+10
2022-12-13Combine projection and opaque into aliasMichael Goulet-22/+29
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-8/+8
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-5/+5
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-9/+13
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-38/+50
2022-11-24Auto merge of #103693 - HKalbasi:master, r=oli-obkbors-15/+15
2022-11-24move some layout logic to rustc_target::abi::layouthkalbasi-15/+15
2022-11-24Avoid `GenFuture` shim when compiling async constructsArpad Borsos-1/+5
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-0/+4
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+4
2022-11-19drive-by: PolyExistentialPredicateMichael Goulet-1/+1
2022-11-13Make rustc build with new chalkMichael Goulet-3/+3
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey-10/+12
2022-11-04Refactor tcx mk_const parameters.Mateusz-5/+5
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-09-13Address code review commentsEric Holk-1/+2
2022-09-12Plumb dyn trait representation through ty::DynamicEric Holk-1/+1
2022-09-08Remove ReEmptyJack Huey-6/+2
2022-08-31Fix a bunch of typoDezhi Wu-1/+1
2022-08-02Add bound_predicates_of and bound_explicit_predicates_ofJack Huey-15/+16
2022-08-02Auto merge of #100032 - BoxyUwU:no_ty_in_placeholder_const, r=compiler-errorsbors-1/+1
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-5/+3
2022-08-01make `PlaceholderConst` not store the type of the constEllen-1/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-3/+3
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-2/+3
2022-06-28Make empty bounds lower to WellFormed and make WellFormed coinductiveJack Huey-2/+10
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-4/+4
2022-06-08Folding revamp.Nicholas Nethercote-3/+4
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-20/+20
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-28Remove opaque type obligation and just register opaque types as they are enco...Oli Scherer-4/+0
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-0/+6
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-21chalk/lowering: lower generator types.Dario Nieuwenhuis-1/+4
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-3/+7
2022-02-19Adopt let else in more placesest31-3/+2
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-11Reverse parameter to placeholder substitution in chalk resultsMatthew Jasper-10/+40
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 20:33:32 +0000