aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/snapshots
Commit message (Expand)AuthorAgeFilesLines
* Add static type inferenceVille Penttinen2019-02-251-5/+5
* Add const type inferenceVille Penttinen2019-02-253-7/+37
* Implement support for type aliasesFlorian Diebold2019-02-241-0/+23
* Refactor associated method resolution a bit and make it work with genericsFlorian Diebold2019-02-231-4/+4
* Merge #866bors[bot]2019-02-225-0/+89
|\
| * Remove Const inference for now, refactor PathResultVille Penttinen2019-02-211-7/+7
| * Implement basic support for Associated Methods and ConstantsVille Penttinen2019-02-215-0/+89
* | Fix handling of generics in tuple variants and refactor a bitFlorian Diebold2019-02-202-3/+26
|/
* Merge #852bors[bot]2019-02-181-34/+38
|\
| * handle != operatorAleksey Kladov2019-02-181-34/+38
* | Handle tuple structs / enum variants properly in type inferenceFlorian Diebold2019-02-171-9/+9
|/
* Unify with the autorefed/autoderefed receiver type during method resolutionFlorian Diebold2019-02-171-0/+16
* Handle generic args for method callsFlorian Diebold2019-02-161-3/+3
* Handle impl generics in method callsFlorian Diebold2019-02-162-47/+47
* Add a test for impl genericsFlorian Diebold2019-02-161-0/+39
* Fix another crashFlorian Diebold2019-02-121-0/+12
* Fix another crash, and try harder to prevent stack overflowsFlorian Diebold2019-02-091-0/+30
* Fix another crash found when analyzing rustcFlorian Diebold2019-02-091-0/+16
* Fix handling of literal patternsFlorian Diebold2019-02-091-0/+13
* Fix two crashes found by running inference on all of rustcFlorian Diebold2019-02-092-0/+27
* Test more Self inferencekjeremy2019-02-041-3/+7
* Use new Resolver API in type inferenceFlorian Diebold2019-02-013-15/+15
* Merge #701bors[bot]2019-01-302-14/+23
|\
| * Add test for passing on ref expectationsMarcus Klaas de Vries2019-01-301-4/+10
| * Infer type of match guardMarcus Klaas de Vries2019-01-281-10/+13
* | Added support for primitive types type inference when using std::ops::NotWizardOfMenlo2019-01-281-12/+25
* | Process second reviewMarcus Klaas de Vries2019-01-271-5/+5
* | Use type information from the turbofishMarcus Klaas de Vries2019-01-272-6/+9
* | Add a FnSig to Ty::FnDefMarcus Klaas de Vries2019-01-276-30/+30
* | Add missing ty test snapshotMarcus Klaas de Vries2019-01-271-0/+23
* | Add type params to FnSignatureMarcus Klaas de Vries2019-01-275-54/+54
|/
* Handle cycles in type varsFlorian Diebold2019-01-262-0/+35
* fix AST for if expressionsAleksey Kladov2019-01-261-0/+17
* Fix type inference of binops on int/float variablesFlorian Diebold2019-01-251-0/+13
* new struct idAleksey Kladov2019-01-241-6/+6
* Update snapsJeremy A. Kolb2019-01-2224-96/+144
* Use insta for ty testsFlorian Diebold2019-01-2124-0/+605