about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/chalk/lowering.rs
AgeCommit message (Expand)AuthorLines
2023-07-03Remove chalk from the compilerMichael Goulet-1234/+0
2023-06-26TypeWellFormedInEnvMichael Goulet-8/+9
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-38/+25
2023-06-19s/Clause/ClauseKindMichael Goulet-28/+28
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-4/+4
2023-06-17Move WF goal to clauseMichael Goulet-4/+4
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+1
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-10/+14
2023-05-25Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...Michael Goulet-1/+1
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-0/+1
2023-04-18Don't transmute `&List<GenericArg>` <-> `&List<Ty>`Maybe Waffle-4/+16
2023-04-16Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote-4/+4
2023-04-06Remove u32 on BoundTyKind::AnonJack Huey-5/+5
2023-04-06Remove index from BrAnonJack Huey-9/+10
2023-04-06Remove expect_anon and expect_anon_placeholder in favor of varJack Huey-9/+7
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-13/+26
2023-04-01fix clippy::iter_kv_mapMatthias Krüger-2/+1
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-4/+4
2023-02-24Rename `mk_{ty,region}` as `mk_{ty,region}_from_kind`.Nicholas Nethercote-1/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+3
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-7/+12
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+4
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-10/+10
2023-02-13Rename folder traits' `tcx` method to `interner`Alan Egerton-3/+3
2023-02-13Make folding traits generic over the InternerAlan Egerton-3/+3
2023-02-13Make visiting traits generic over the InternerAlan Egerton-2/+2
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-2/+3
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-7/+7
2023-02-11Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnrbors-0/+4
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+4
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-1/+1
2023-02-09Introduce `ReError`Esteban Küber-0/+3
2023-01-30Track bound types like bound regionsMichael Goulet-19/+21
2023-01-27Introduce GeneratorWitnessMIR.Camille GILLOT-0/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 13:37:47 +0000