aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer.rs
Commit message (Expand)AuthorAgeFilesLines
* add union to code_modelAleksey Kladov2019-05-231-8/+13
* profile type inferenceAleksey Kladov2019-05-211-1/+3
* Turn `implements` into a query againFlorian Diebold2019-05-071-2/+1
* Differentiate Tuple / FnPtr type constructors by cardinalityFlorian Diebold2019-05-041-4/+7
* Make canonicalization API a bit nicerFlorian Diebold2019-05-041-15/+16
* Canonicalize before doing method resolutionFlorian Diebold2019-05-041-3/+10
* Chalk integrationFlorian Diebold2019-05-041-15/+16
* New krate() method in Resolver.Marco Groppo2019-04-191-28/+26
* Initial support for lang items.Marco Groppo2019-04-191-25/+29
* RefactoringEdwin Cheng2019-04-171-51/+46
* Simpliy codeEdwin Cheng2019-04-171-60/+32
* Bug fix and add more commentsEdwin Cheng2019-04-171-22/+60
* Fix 1099Edwin Cheng2019-04-171-3/+48
* Extract generic_params method to a HasGenericParams traitFlorian Diebold2019-04-141-4/+7
* Make callable signature handling a bit nicerFlorian Diebold2019-04-141-47/+14
* Some cleanupFlorian Diebold2019-04-141-90/+99
* More trait infrastructureFlorian Diebold2019-04-141-6/+78
* Avoid two-phase borrow conflictLaurențiu Nicola2019-04-081-2/+2
* Added ArrayExprKind,Lenard Pratt2019-04-071-13/+17
* Added inference of array lengthLenard Pratt2019-04-071-1/+10
* Added const bodies and static body to the astLenard Pratt2019-04-021-6/+14
* Basics for trait method resolutionFlorian Diebold2019-03-251-1/+2
* cleanupAleksey Kladov2019-03-251-4/+4
* switch modules to new diagnosticsAleksey Kladov2019-03-251-4/+9
* allow dyn diagnosticsAleksey Kladov2019-03-251-6/+33
* diagnosticsAleksey Kladov2019-03-251-3/+20
* Fix apply_substs assertion failureFlorian Diebold2019-03-231-2/+2
* replace todo with fixmeAleksey Kladov2019-03-231-23/+23
* Refactor primitive types into more orthogonal representationyanchith2019-03-221-5/+10
* Assert in apply_substs that the number of parameters doesn't changeFlorian Diebold2019-03-211-1/+1
* Rename name field to ctor as wellFlorian Diebold2019-03-211-9/+9
* TypeName => TypeCtorFlorian Diebold2019-03-211-39/+39
* Remove the old variants replaced by Ty::ApplyFlorian Diebold2019-03-211-118/+146
* Represent FnPtr and Tuple using SubstsFlorian Diebold2019-03-211-10/+12
* Merge #982bors[bot]2019-03-171-17/+82
|\
| * Split test case and use tested_by!.Michael Killough2019-03-171-0/+3
| * Simplify match statement.Michael Killough2019-03-171-6/+1
| * impl Default for BindingMode.Michael Killough2019-03-171-5/+11
| * Implement BindingMode for pattern matching.Michael Killough2019-03-161-17/+78
* | Remove FnSig from FnDef typeFlorian Diebold2019-03-161-2/+4
* | Refactor FnSig a bitFlorian Diebold2019-03-161-11/+12
|/
* Use impl_froms!kjeremy2019-03-041-13/+3
* Make ExpOrPatId privatekjeremy2019-03-041-3/+6
* Remove commented out codeJeremy Kolb2019-03-041-9/+0
* Use ImplItems instead of just FunctionJeremy Kolb2019-03-041-34/+48
* Make goto definition/hover resolve constructorskjeremy2019-03-041-3/+40
* Add static type inferenceVille Penttinen2019-02-251-1/+2
* Add const type inferenceVille Penttinen2019-02-251-7/+13
* Rename Type => TypeAliasFlorian Diebold2019-02-241-2/+2
* Implement support for type aliasesFlorian Diebold2019-02-241-1/+3