aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/lib.rs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Turn Ty::Tuple variant into a tuple-variantLukas Wirth2021-02-281-9/+7
* Fix code_model::Type::walk not walking all typesLukas Wirth2021-02-281-6/+4
* Inline TypeCtor into TyLukas Wirth2021-02-281-277/+215
* Use chalk_ir::Scalar directlyLukas Wirth2021-02-281-16/+8
* Introduce TypeCtor::ScalarLukas Wirth2021-02-281-29/+22
* Wrap `BuiltinType` in code modelJonas Schievink2021-02-111-0/+10
* Classify function calls as functions when shadowed by typesLukas Wirth2021-01-281-5/+14
* Make `ModuleId`'s `krate` field privateJonas Schievink2021-01-221-6/+8
* Don't emit arg count diagnostics for method calls with unknown receiverFlorian Diebold2021-01-011-0/+4
* Add Lifetimes to the HIRLukas Wirth2020-12-111-2/+8
* Deny unreachable-pubAleksey Kladov2020-11-021-2/+1
* Update chalk to 0.27 and adapt to chalk changes.Charles Lew2020-09-151-0/+11
* Fix type walking about type of async blockoxalica2020-09-111-14/+9
* Implement async blocksoxalica2020-09-101-2/+37
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+1078