aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/lower.rs
Commit message (Expand)AuthorAgeFilesLines
* somewhat better nameAleksey Kladov2019-06-081-2/+2
* add tests for primitive typesAleksey Kladov2019-05-301-2/+1
* add built-in types to scopesAleksey Kladov2019-05-301-16/+0
* add ModuleDef::BuiltInTypeAleksey Kladov2019-05-301-5/+31
* add union to code_modelAleksey Kladov2019-05-231-2/+8
* remove minor code duplicationAleksey Kladov2019-05-201-18/+14
* Use normal iteration instead of walk_mutEdwin Cheng2019-05-201-8/+5
* Add infer for generic default typeEdwin Cheng2019-05-191-13/+46
* Handle where clauses in trait solvingFlorian Diebold2019-05-111-8/+45
* Differentiate Tuple / FnPtr type constructors by cardinalityFlorian Diebold2019-05-041-2/+5
* Chalk integrationFlorian Diebold2019-05-041-18/+12
* Extract generic_params method to a HasGenericParams traitFlorian Diebold2019-04-141-2/+2
* Some cleanupFlorian Diebold2019-04-141-2/+5
* More trait infrastructureFlorian Diebold2019-04-141-1/+8
* Get substs for trait refs in impl blocksFlorian Diebold2019-04-141-25/+70
* replace todo with fixmeAleksey Kladov2019-03-231-3/+3
* Refactor primitive types into more orthogonal representationyanchith2019-03-221-4/+4
* TypeName => TypeCtorFlorian Diebold2019-03-211-18/+18
* Remove the old variants replaced by Ty::ApplyFlorian Diebold2019-03-211-20/+18
* Represent FnPtr and Tuple using SubstsFlorian Diebold2019-03-211-2/+2
* make Name::new privateAleksey Kladov2019-03-201-2/+2
* Remove FnSig from FnDef typeFlorian Diebold2019-03-161-6/+12
* Refactor FnSig a bitFlorian Diebold2019-03-161-25/+45
* Replace Display by a pretty printing trait for TyFlorian Diebold2019-03-161-17/+6
* Add static type inferenceVille Penttinen2019-02-251-4/+17
* Add const type inferenceVille Penttinen2019-02-251-5/+17
* Rename Type => TypeAliasFlorian Diebold2019-02-241-9/+9
* Implement support for type aliasesFlorian Diebold2019-02-241-9/+23
* Refactor associated method resolution a bit and make it work with genericsFlorian Diebold2019-02-231-26/+41
* Split ty.rs into several modulesFlorian Diebold2019-02-231-0/+318