aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/infer.rs
Commit message (Expand)AuthorAgeFilesLines
* rename XSignature -> XDataAleksey Kladov2019-06-181-13/+12
* Implement * operation using Deref traitFlorian Diebold2019-06-151-3/+5
* Implement autoderef using the Deref traitFlorian Diebold2019-06-151-19/+21
* check for cancellation when executing queriesAleksey Kladov2019-06-121-1/+0
* remove inherent source implsAleksey Kladov2019-06-111-1/+1
* use Source for FunctionAleksey Kladov2019-06-111-1/+1
* somewhat better nameAleksey Kladov2019-06-081-17/+20
* [#1083] Try block syntax: fix testsAndrey Tkachenko2019-06-061-1/+0
* [#1083] Try block syntaxAndrey Tkachenko2019-06-061-0/+6
* Fix clippy::or_fun_callAlan Du2019-06-041-1/+1
* Fix clippy::identity_conversionAlan Du2019-06-041-3/+3
* Fix clippy::into_iter_on_refAlan Du2019-06-041-1/+1
* Fix clippy::single_matchAlan Du2019-06-041-19/+14
* add ModuleDef::BuiltInTypeAleksey Kladov2019-05-301-1/+2
* 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