aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits/chalk
Commit message (Expand)AuthorAgeFilesLines
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-12/+27
* Align InEnvironment with ChalkFlorian Diebold2021-03-211-4/+1
* Align Canonical more with Chalk's versionFlorian Diebold2021-03-211-25/+2
* Use QuantifiedWhereClause in generic_predicates as wellFlorian Diebold2021-03-211-1/+1
* Introduce QuantifiedWhereClause and DynTy analogous to ChalkFlorian Diebold2021-03-211-42/+52
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-4/+6
* Remove WhereClause::ErrorFlorian Diebold2021-03-201-6/+1
* Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-201-14/+12
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-191-33/+59
* Chalkify TraitRefFlorian Diebold2021-03-181-8/+7
* avoid converting types into themselves via .into() (clippy::useless-conversion)Matthias Krüger2021-03-171-1/+1
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-6/+9
* Use SmallVec for SubstsFlorian Diebold2021-03-151-3/+4
* Don't use Substs for Ref/Raw/Array/SliceFlorian Diebold2021-03-141-17/+13
* Make Ty wrap TyKind in an ArcFlorian Diebold2021-03-141-1/+1
* More renamingFlorian Diebold2021-03-141-10/+8
* Use chalk_ir::FnSigFlorian Diebold2021-03-141-10/+9
* Rename some fields to their Chalk namesFlorian Diebold2021-03-141-11/+11
* Use chalk_ir::OpaqueTyIdFlorian Diebold2021-03-131-22/+6
* Use chalk_ir::PlaceholderIndexFlorian Diebold2021-03-131-19/+3
* Use chalk_ir::ClosureIdFlorian Diebold2021-03-131-8/+3
* Use chalk_ir::FnDefIdFlorian Diebold2021-03-132-4/+2
* Use chalk_ir::AssocTypeIdFlorian Diebold2021-03-132-38/+18
* Use chalk_ir::ForeignDefIdFlorian Diebold2021-03-132-23/+2
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-45/+46
* Use Chalk Environment more directlyFlorian Diebold2021-03-121-33/+5
* Use chalk_ir::AdtIdLukas Wirth2021-03-041-14/+2
* Use chalk_ir::MutabilityLukas Wirth2021-03-011-22/+6
* Introduce Ty::AliasLukas Wirth2021-03-011-10/+10
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-011-22/+10
* Lift FnPointer into a structLukas Wirth2021-02-281-16/+12
* Remove Substs from Ty::ForeignTypeLukas Wirth2021-02-281-5/+4
* Turn Ty::Tuple variant into a tuple-variantLukas Wirth2021-02-281-2/+2
* Inline TypeCtor into TyLukas Wirth2021-02-281-104/+85
* Use chalk_ir::Scalar directlyLukas Wirth2021-02-281-60/+4
* Introduce TypeCtor::ScalarLukas Wirth2021-02-281-80/+60
* Update crateskjeremy2021-02-081-2/+3
* Upgrade ChalkFlorian Diebold2020-12-072-3/+26
* Remove more unreachable pubsAleksey Kladov2020-11-022-18/+18
* Deny unreachable-pubAleksey Kladov2020-11-021-27/+27
* Upgrade Chalk to 0.36Florian Diebold2020-10-303-305/+166
* Get rid of FAKE_PLACEHOLDERFlorian Diebold2020-10-251-8/+9
* Make unimplemented match variants explicitCasey Primozic2020-10-071-1/+2
* `todo!()` -> `unimplemented!() // FIXME` for CICasey Primozic2020-10-061-1/+1
* Bump chalk to use latest git to get fixCasey Primozic2020-10-061-0/+1
* Update chalk to 0.27 and adapt to chalk changes.Charles Lew2020-09-153-19/+62
* Merge #5971bors[bot]2020-09-131-0/+3
|\
| * Implement async blocksoxalica2020-09-101-0/+3
* | Tweak interner for chalkNathan Whitaker2020-09-091-9/+9
* | Lookup ADT and assoc. type names for chalk debugNathan Whitaker2020-09-091-0/+12
|/