aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/tests.rs
Commit message (Expand)AuthorAgeFilesLines
...
* Add a bunch of tests for type inference involving traitsFlorian Diebold2019-03-021-0/+235
* rename syntax-mapping -> source-mapAleksey Kladov2019-03-021-5/+5
* Add const type inferenceVille Penttinen2019-02-251-0/+37
* Add test for recursive type aliasesFlorian Diebold2019-02-241-0/+14
* Implement support for type aliasesFlorian Diebold2019-02-241-0/+21
* Refactor associated method resolution a bit and make it work with genericsFlorian Diebold2019-02-231-1/+0
* Fix resolution of associated method calls across cratesFlorian Diebold2019-02-231-2/+39
* Merge #866bors[bot]2019-02-221-0/+134
|\
| * Ignore failing test for nowVille Penttinen2019-02-211-0/+1
| * Implement basic support for Associated Methods and ConstantsVille Penttinen2019-02-211-0/+133
* | Fix handling of generics in tuple variants and refactor a bitFlorian Diebold2019-02-201-0/+21
|/
* handle != operatorAleksey Kladov2019-02-181-0/+1
* Unify with the autorefed/autoderefed receiver type during method resolutionFlorian Diebold2019-02-171-0/+20
* Add a test for impl genericsFlorian Diebold2019-02-161-0/+32
* Fix another crashFlorian Diebold2019-02-121-0/+19
* Add comment and markFlorian Diebold2019-02-091-0/+1
* Fix another crash, and try harder to prevent stack overflowsFlorian Diebold2019-02-091-0/+25
* Fix another crash found when analyzing rustcFlorian Diebold2019-02-091-0/+15
* Fix handling of literal patternsFlorian Diebold2019-02-091-0/+15
* Fix two crashes found by running inference on all of rustcFlorian Diebold2019-02-091-0/+33
* reformat the worldAleksey Kladov2019-02-081-7/+2
* Test more Self inferencekjeremy2019-02-041-0/+6
* Merge #701bors[bot]2019-01-301-1/+3
|\
| * Add test for passing on ref expectationsMarcus Klaas de Vries2019-01-301-0/+1
| * Infer type of match guardMarcus Klaas de Vries2019-01-281-1/+2
* | Added support for primitive types type inference when using std::ops::NotWizardOfMenlo2019-01-281-0/+5
* | Process second reviewMarcus Klaas de Vries2019-01-271-4/+2
* | Use type information from the turbofishMarcus Klaas de Vries2019-01-271-0/+3
* | First attempt at generic type inference for fnsMarcus Klaas de Vries2019-01-271-0/+22
|/
* Add marksFlorian Diebold2019-01-261-0/+5
* Handle cycles in type varsFlorian Diebold2019-01-261-0/+27
* fix AST for if expressionsAleksey Kladov2019-01-261-0/+17
* rename source_file -> parseAleksey Kladov2019-01-261-1/+1
* rename FilesDatabase -> SourceDatabaseAleksey Kladov2019-01-261-1/+1
* fold syntax database into files databaseAleksey Kladov2019-01-261-1/+1
* Fix type inference of binops on int/float variablesFlorian Diebold2019-01-251-0/+13
* move SyntaxPtr to ra_syntaxAleksey Kladov2019-01-231-1/+1
* Use insta for ty testsFlorian Diebold2019-01-211-47/+29
* Fix panic trying to get substs on unknown typeFlorian Diebold2019-01-211-0/+16
* Fix panic on inferring field access on an enumFlorian Diebold2019-01-201-0/+14
* Make generics work in struct patternsFlorian Diebold2019-01-191-0/+26
* Add some testsFlorian Diebold2019-01-191-0/+63
* Fixup annotated bindingsMarcus Klaas de Vries2019-01-191-1/+5
* Add initial (flawed) implementation of binding annotationsMarcus Klaas de Vries2019-01-191-0/+4
* Infer pattern types for lambdas and loopsMarcus Klaas de Vries2019-01-191-0/+10
* Implement unlabeled struct field pattern inferenceMarcus Klaas de Vries2019-01-191-0/+5
* Add crude implementation of tuplestruct pattern inferenceMarcus Klaas de Vries2019-01-191-14/+22
* Work on type inference for ADT patternsMarcus Klaas de Vries2019-01-191-1/+4
* Implement type inference for tuples and refsMarcus Klaas de Vries2019-01-191-0/+11
* Add additional pattern variantsMarcus Klaas de Vries2019-01-191-0/+15