aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/tests/traits.rs
Commit message (Expand)AuthorAgeFilesLines
* 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
* | Filter out error predicates in type bounds as wellFlorian Diebold2019-12-221-0/+17
|/
* Coerce closures to fn pointersFlorian Diebold2019-12-201-5/+5
* Add std::ops::Index support for inferingEdwin Cheng2019-12-191-0/+32
* Add test markFlorian Diebold2019-12-151-2/+6
* Handle impl Trait more correctlyFlorian Diebold2019-12-151-0/+31
* Add test for unifying impl TraitFlorian Diebold2019-12-151-1/+27
* Correctly infer - and ! using std::ops::{Neg,Not}Emil Lauridsen2019-12-131-0/+64
* Split up ty tests a bitFlorian Diebold2019-12-031-0/+1424