aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/tests/traits.rs
Commit message (Expand)AuthorAgeFilesLines
* Push obligation instead of matching on solutionadamrk2020-06-201-4/+4
* Add test for dyn Fn Outputadamrk2020-06-201-0/+68
* move tests to ra_hir_tyadamrk2020-06-201-0/+155
* Make known paths use `core` instead of `std`Jonas Schievink2020-06-111-14/+16
* Fix type parameter defaultsFlorian Diebold2020-06-051-27/+27
* Review fixesFlorian Diebold2020-06-051-15/+58
* Implement return position impl trait / opaque type supportFlorian Diebold2020-06-051-1/+46
* Upgrade ChalkFlorian Diebold2020-05-291-5/+49
* Use Chalk's Ty::Function for function pointer typesFlorian Diebold2020-05-221-0/+32
* Use Chalk's built-in representation of function item typesFlorian Diebold2020-05-221-0/+42
* Add some tests for Chalk built-in trait implsFlorian Diebold2020-05-221-0/+78
* Switch to new magic marksAleksey Kladov2020-05-201-4/+4
* Add more tests for Fn traitsHrvoje Ban2020-05-181-0/+132
* Remove whitespacesEdwin Cheng2020-05-031-1/+1
* Support macro for trait itemsEdwin Cheng2020-05-031-19/+21
* For associated type shorthand (T::Item), use the substs from the where clauseFlorian Diebold2020-04-261-0/+30
* Convert tests to text-sizeAleksey Kladov2020-04-251-553/+553
* Merge #4023bors[bot]2020-04-181-0/+36
|\
| * Fix another crash from wrong bindersFlorian Diebold2020-04-171-0/+36
* | Fix type equality for dyn TraitFlorian Diebold2020-04-171-0/+24
* | Add two more tests for associated typesFlorian Diebold2020-04-171-0/+174
|/
* Test for non-working proc macro server assoc typesFlorian Diebold2020-04-161-0/+68
* Switch Chalk to recursive solverFlorian Diebold2020-04-161-29/+21
*-. Merge #3966 #3968bors[bot]2020-04-151-0/+27
|\ \
| * | Add support for bounds on associated types in trait definitionsFlorian Diebold2020-04-131-0/+27
| |/
| |
| \
*-. \ Merge #3964 #3965 #3967bors[bot]2020-04-151-1/+72
|\ \ \ | |_|/ |/| |
| | * Handle `Self::Type` in trait definitions when referring to own associated typeFlorian Diebold2020-04-131-1/+25
| |/ |/|
| * Implement inline associated type boundsFlorian Diebold2020-04-131-0/+47
|/
* Fix Chalk panicFlorian Diebold2020-04-061-0/+25
* Hide unit fn return typesLaurențiu Nicola2020-04-051-6/+6
* Resolve `Self::AssocTy` in implsFlorian Diebold2020-03-061-0/+41
* Do autoderef for indexingFlorian Diebold2020-02-291-0/+28
* Normalize associated types in types coming from ChalkFlorian Diebold2020-02-211-0/+42
* Make Self implement the trait inside trait default methodsFlorian Diebold2020-02-141-0/+48
* Add two more testsFlorian Diebold2020-02-071-0/+51
* Don't print implicit type args from impl TraitFlorian Diebold2020-02-071-11/+11
* Deal better with implicit type parameters and argument listsFlorian Diebold2020-02-071-0/+108
* Clean up RPIT a bitFlorian Diebold2020-02-071-13/+11
* Fix APIT some moreFlorian Diebold2020-02-071-23/+28
* Change Ty::Param to contain param IDFlorian Diebold2020-02-071-2/+1
* WIP use params for APITFlorian Diebold2020-02-071-0/+53
* Fix assoc type selectionFlorian Diebold2020-02-071-3/+3
* Fix enum constructorsFlorian Diebold2020-02-071-1/+1
* Fix printing of function typesFlorian Diebold2020-02-071-16/+16
* wip implement lowering modeFlorian Diebold2020-02-071-20/+8
* Standard formatting for array typesAleksey Kladov2020-01-281-1/+1
* Ignore failing impl Trait testsFlorian Diebold2020-01-271-0/+2
* Resolve traits in infer using lang item infrastructureEmil Lauridsen2019-12-291-0/+5
* Merge #2661bors[bot]2019-12-241-0/+57
|\
| * Implement infer await from async funcEdwin Cheng2019-12-241-0/+57