summary refs log tree commit diff
path: root/compiler/rustc_traits/src/chalk/lowering.rs
AgeCommit message (Expand)AuthorLines
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-12/+12
2022-12-13Remove chalk lowering for AliasTyMichael Goulet-11/+10
2022-12-13Combine projection and opaque into aliasMichael Goulet-18/+24
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-6/+6
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-5/+5
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-7/+9
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-38/+50
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/+0
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey-9/+11
2022-11-04Refactor tcx mk_const parameters.Mateusz-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-07-06Update TypeVisitor pathsAlan Egerton-2/+2
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-3/+3
2022-06-08Folding revamp.Nicholas Nethercote-2/+3
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-16/+16
2022-02-21chalk/lowering: lower generator types.Dario Nieuwenhuis-1/+4
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-2/+6
2022-02-15Overhaul `Const`.Nicholas Nethercote-5/+5
2022-02-15Remove unnecessary `RegionKind::` quals.Nicholas Nethercote-21/+17
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-8/+8
2022-02-11Reverse parameter to placeholder substitution in chalk resultsMatthew Jasper-7/+36
2022-02-11Fix more chalk lowering issuesMatthew Jasper-1/+17
2022-02-11Stop using a placeholder for empty regions in ChalkMatthew Jasper-36/+9
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-4/+0
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-0/+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
2021-12-22Update chalk to 0.75.0pierwill-29/+29
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-21/+15
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-1/+1
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-14/+20
2021-10-08clippy::complexity fixesMatthias Krüger-1/+1
2021-08-26make unevaluated const substs optionallcnr-4/+5
2021-08-26require a `tcx` for `TypeVisitor`lcnr-2/+12
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+4
2021-08-13move Constness into TraitPredicateDeadbeef-4/+4
2021-06-23Use HTTPS links where possibleSmitty-1/+1
2021-03-31Add var to BoundRegion. Add query to get bound vars for applicable items.Jack Huey-16/+17
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-27 01:43:26 +0000