aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/lib.rs
Commit message (Expand)AuthorAgeFilesLines
* Move things from `traits` module to `types` as wellFlorian Diebold2021-04-041-1/+1
* Move things in hir_ty into submodulesFlorian Diebold2021-04-041-680/+15
* Replace Substitution::type_paramsFlorian Diebold2021-04-041-7/+1
* Replace Substitution::bound_vars and ::type_params_for_genericsFlorian Diebold2021-04-041-26/+2
* Move TyBuilder to its own moduleFlorian Diebold2021-04-041-204/+10
* Replace last uses of SubstsBuilder by TyBuilderFlorian Diebold2021-04-041-50/+16
* Remove CallableSig::from_substsFlorian Diebold2021-04-041-11/+1
* Some more TyBuilder useFlorian Diebold2021-04-041-4/+0
* Replace remaining uses of Substitution::build_for_defFlorian Diebold2021-04-041-8/+38
* Add and start using TraitRef and ProjectionTy buildersFlorian Diebold2021-04-041-0/+29
* Move Ty::builtin to TyBuilderFlorian Diebold2021-04-041-17/+17
* Add TyBuilder::adtFlorian Diebold2021-04-041-5/+82
* Move Ty::fn_ptr to TyBuilderFlorian Diebold2021-04-041-7/+7
* Add TyBuilder::unit() and TyExt::is_unit()Florian Diebold2021-04-041-5/+5
* Add TyBuilderFlorian Diebold2021-04-041-0/+6
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-20/+20
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-48/+125
* completion relevance consider if types can be unifiedJosh Mcguigan2021-03-261-1/+1
* Fix chalk_ir assertionFlorian Diebold2021-03-241-7/+26
* Align Canonical more with Chalk's versionFlorian Diebold2021-03-211-2/+10
* Use QuantifiedWhereClause in generic_predicates as wellFlorian Diebold2021-03-211-2/+5
* Introduce QuantifiedWhereClause and DynTy analogous to ChalkFlorian Diebold2021-03-211-16/+57
* Ignore type bindings in generic_predicates_for_paramFlorian Diebold2021-03-211-2/+11
* Test for a Salsa bugFlorian Diebold2021-03-211-0/+4
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-2/+5
* Remove WhereClause::ErrorFlorian Diebold2021-03-201-10/+1
* Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-201-19/+19
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-191-8/+41
* Chalkify TraitRefFlorian Diebold2021-03-181-12/+27
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-47/+47
* Use SmallVec for SubstsFlorian Diebold2021-03-151-7/+20
* Don't use Substs for Ref/Raw/Array/SliceFlorian Diebold2021-03-141-49/+18
* Make Ty wrap TyKind in an ArcFlorian Diebold2021-03-141-9/+17
* More renamingFlorian Diebold2021-03-141-4/+4
* Use chalk_ir::FnSigFlorian Diebold2021-03-141-7/+6
* Rename some fields to their Chalk namesFlorian Diebold2021-03-141-9/+9
* Use chalk_ir::OpaqueTyIdFlorian Diebold2021-03-131-7/+9
* Use chalk_ir::PlaceholderIndexFlorian Diebold2021-03-131-6/+25
* Use chalk_ir::ClosureIdFlorian Diebold2021-03-131-8/+6
* Use chalk_ir::FnDefIdFlorian Diebold2021-03-131-6/+18
* Use chalk_ir::AssocTypeIdFlorian Diebold2021-03-131-9/+19
* Use chalk_ir::ForeignDefIdFlorian Diebold2021-03-131-4/+16
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-121/+155
* Use chalk_ir::AdtIdLukas Wirth2021-03-041-8/+14
* Use chalk_ir::MutabilityLukas Wirth2021-03-011-6/+4
* Introduce Ty::AliasLukas Wirth2021-03-011-35/+41
* Assert index relationship between type_variable_table and var_unification_tableLukas Wirth2021-03-011-2/+2
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-011-12/+5
* Lift FnPointer into a structLukas Wirth2021-02-281-32/+48
* Remove Substs from Ty::ForeignTypeLukas Wirth2021-02-281-4/+1