aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty/tests.rs
Commit message (Expand)AuthorAgeFilesLines
* make AstId untypedAleksey Kladov2019-05-131-1/+1
* Use traits from prelude for method resolutionFlorian Diebold2019-05-121-0/+29
* Blacklist some traits from being considered in where clausesFlorian Diebold2019-05-121-6/+6
* Add support for inline boundsFlorian Diebold2019-05-111-0/+33
* Reduce Chalk max_size parameter, add test for slow caseFlorian Diebold2019-05-111-0/+29
* Handle Chalk conversion for FnDefFlorian Diebold2019-05-111-0/+13
* Handle resolution errors in where clausesFlorian Diebold2019-05-111-0/+15
* Handle where clauses in trait solvingFlorian Diebold2019-05-111-3/+38
* fill struct fields diagnosticSergey Parilin2019-05-061-0/+1
* 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