aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/lib.rs
Commit message (Expand)AuthorAgeFilesLines
* 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