aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits
Commit message (Expand)AuthorAgeFilesLines
* Add TyBuilder::unit() and TyExt::is_unit()Florian Diebold2021-04-041-2/+2
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-1/+1
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-032-17/+32
* Fix chalk_ir assertionFlorian Diebold2021-03-241-5/+3
* 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-212-44/+60
* Ignore type bindings in generic_predicates_for_paramFlorian Diebold2021-03-211-1/+1
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-4/+6
* Remove WhereClause::ErrorFlorian Diebold2021-03-202-13/+2
* Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-202-18/+16
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-192-41/+67
* Chalkify TraitRefFlorian Diebold2021-03-182-13/+12
* avoid converting types into themselves via .into() (clippy::useless-conversion)Matthias Krüger2021-03-171-1/+1
* Rename Substs -> SubstitutionFlorian Diebold2021-03-162-15/+18
*-. Merge #7900 #8000bors[bot]2021-03-161-1/+1
|\ \
| | * Use hir formatter moreoxalica2021-03-151-1/+1
* | | 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-142-13/+13
* | Move type lowering methods to TyLoweringContextFlorian Diebold2021-03-131-1/+1
* | Use chalk_ir::OpaqueTyIdFlorian Diebold2021-03-132-26/+9
* | Use chalk_ir::PlaceholderIndexFlorian Diebold2021-03-131-19/+3
* | Use chalk_ir::ClosureIdFlorian Diebold2021-03-132-11/+6
* | Use chalk_ir::FnDefIdFlorian Diebold2021-03-133-6/+4
* | Use chalk_ir::AssocTypeIdFlorian Diebold2021-03-133-47/+26
* | Use chalk_ir::ForeignDefIdFlorian Diebold2021-03-132-23/+2
* | Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-132-58/+65
|/
* Simplify a bitFlorian Diebold2021-03-121-10/+5
* Use Chalk Environment more directlyFlorian Diebold2021-03-122-35/+7
* Delete `ContainerId`Jonas Schievink2021-03-091-2/+2
* Use chalk_ir::AdtIdLukas Wirth2021-03-042-22/+8
* Use chalk_ir::MutabilityLukas Wirth2021-03-011-22/+6
* Introduce Ty::AliasLukas Wirth2021-03-012-15/+15
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-011-22/+10
* Lift FnPointer into a structLukas Wirth2021-02-282-19/+14
* 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-282-108/+90
* Use chalk_ir::Scalar directlyLukas Wirth2021-02-281-60/+4
* Introduce TypeCtor::ScalarLukas Wirth2021-02-281-80/+60
* Update crateskjeremy2021-02-081-2/+3
* Bump chalkLaurențiu Nicola2021-02-021-2/+2
* Make `ModuleId`'s `krate` field privateJonas Schievink2021-01-221-2/+2
* Bump chalkLaurențiu Nicola2020-12-231-2/+9
* Upgrade ChalkFlorian Diebold2020-12-073-6/+72