aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/tests.rs
Commit message (Expand)AuthorAgeFilesLines
* Chalk integrationFlorian Diebold2019-05-041-1/+1
* Introduced resolve_macro_call on resolverLenard Pratt2019-04-231-0/+26
* Add HIR for where clauses & ignore impls with where clauses in trait resolutionFlorian Diebold2019-04-211-0/+17
* Add a simple test for str method completionFlorian Diebold2019-04-201-0/+22
* Fix 1099Edwin Cheng2019-04-171-2/+61
* Refactor method candidate generation a bitFlorian Diebold2019-04-141-0/+65
* More trait infrastructureFlorian Diebold2019-04-141-8/+43
* simplifyAleksey Kladov2019-04-121-11/+12
* simplify testsAleksey Kladov2019-04-121-26/+13
* type-safer source-map for bindingsAleksey Kladov2019-04-101-1/+1
* updated snapshotsLenard Pratt2019-04-071-41/+41
* Parse and infer tuple indicesrobojumper2019-04-061-0/+59
* Merge #1076bors[bot]2019-04-021-4/+57
|\
| * Added const bodies and static body to the astLenard Pratt2019-04-021-4/+57
* | switch to new rowanAleksey Kladov2019-04-011-8/+6
|/
* Implement a very naive implements checkFlorian Diebold2019-03-251-1/+1
* Basics for trait method resolutionFlorian Diebold2019-03-251-6/+6
* test diagnosticsAleksey Kladov2019-03-251-0/+24
* Fix apply_substs assertion failureFlorian Diebold2019-03-231-0/+23
* Merge #982bors[bot]2019-03-171-0/+54
|\
| * Split test case and use tested_by!.Michael Killough2019-03-171-76/+99
| * Implement BindingMode for pattern matching.Michael Killough2019-03-161-45/+76
* | Replace Display by a pretty printing trait for TyFlorian Diebold2019-03-161-2/+3
|/
* Inline type inference test snapshotsFlorian Diebold2019-03-031-244/+1096
* 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