summaryrefslogtreecommitdiff
path: root/compiler/rustc_traits/src/chalk
Commit message (Expand)AuthorAgeFilesLines
* Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker2023-05-151-1/+1
* IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr2023-05-041-0/+1
* Changes from reviewKyle Matsuda2023-04-211-11/+6
* add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda2023-04-201-2/+2
* Don't transmute `&List<GenericArg>` <-> `&List<Ty>`Maybe Waffle2023-04-181-4/+16
* Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote2023-04-161-4/+4
* Remove u32 on BoundTyKind::AnonJack Huey2023-04-061-5/+5
* Remove index from BrAnonJack Huey2023-04-062-10/+11
* Remove expect_anon and expect_anon_placeholder in favor of varJack Huey2023-04-061-9/+7
* Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey2023-04-061-13/+26
* fix clippy::iter_kv_mapMatthias Krüger2023-04-011-2/+1
* Rename AliasEq -> AliasRelateMichael Goulet2023-03-231-4/+4
* Add `mk_canonical_var_infos_from_iter`.Nicholas Nethercote2023-02-241-20/+17
* Rename `mk_{ty,region}` as `mk_{ty,region}_from_kind`.Nicholas Nethercote2023-02-241-1/+1
* Rename many interner functions.Nicholas Nethercote2023-02-242-3/+5
* Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet2023-02-221-1/+1
* Remove type-traversal trait aliasesAlan Egerton2023-02-223-10/+15
* Add `Clause::ConstArgHasType` variantBoxy2023-02-171-0/+4
* remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda2023-02-161-3/+3
* change usages of type_of to bound_type_ofKyle Matsuda2023-02-161-2/+2
* Add specialized variants of `mk_region`.Nicholas Nethercote2023-02-152-11/+11
* Rename folder traits' `tcx` method to `interner`Alan Egerton2023-02-132-4/+4
* Make folding traits generic over the InternerAlan Egerton2023-02-132-4/+4
* Make visiting traits generic over the InternerAlan Egerton2023-02-131-2/+2
* Alias folding/visiting traits instead of re-exportAlan Egerton2023-02-133-4/+5
* Reduce direct `mk_ty` usage.Nicholas Nethercote2023-02-132-17/+13
* Auto merge of #107507 - BoxyUwU:deferred_projection_equality, r=lcnrbors2023-02-111-0/+4
|\
| * add `AliasEq` to `PredicateKind`Boxy2023-02-101-0/+4
* | Change to `ReError(ErrorGuaranteed)`Esteban Küber2023-02-091-1/+1
* | Introduce `ReError`Esteban Küber2023-02-091-0/+3
|/
* Track bound types like bound regionsMichael Goulet2023-01-303-24/+24
* Auto merge of #106253 - nbdd0121:upcast, r=compiler-errorsbors2023-01-291-1/+1
|\
| * Rename `is_object_safe` to `check_is_object_safe` to hint side effectsGary Guo2023-01-281-1/+1
* | Auto merge of #107303 - compiler-errors:intern-canonical-var-values, r=lcnrbors2023-01-281-10/+8
|\ \ | |/ |/|
| * Intern CanonicalVarValuesMichael Goulet2023-01-261-10/+8
* | Introduce GeneratorWitnessMIR.Camille GILLOT2023-01-271-0/+1
* | change fn_sig query to use EarlyBinder; remove bound_fn_sig query; add EarlyB...Kyle Matsuda2023-01-261-1/+1
|/
* Remove bound_{explicit,}_item_boundsMichael Goulet2023-01-151-8/+7
* change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda2023-01-141-4/+3
* change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda2023-01-141-1/+2
* rustc: Remove needless lifetimesJeremy Stucki2022-12-201-1/+1
* Ensure no one constructs `AliasTy`s themselvesOli Scherer2022-12-142-14/+14
* Remove chalk lowering for AliasTyMichael Goulet2022-12-131-11/+10
* Combine projection and opaque into aliasMichael Goulet2022-12-132-22/+29
* squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet2022-12-132-8/+8
* ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet2022-12-131-5/+5
* Use ty::OpaqueTy everywhereMichael Goulet2022-12-132-9/+13
* Introduce PredicateKind::ClauseSantiago Pastorino2022-11-251-38/+50
* Auto merge of #103693 - HKalbasi:master, r=oli-obkbors2022-11-241-15/+15
|\
| * move some layout logic to rustc_target::abi::layouthkalbasi2022-11-241-15/+15
View Lorry Controller Status