aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/traits.rs
Commit message (Collapse)AuthorAgeFilesLines
* Fix clippy::single_matchAlan Du2019-06-041-6/+3
|
* add AstDatabaseAleksey Kladov2019-06-021-2/+8
|
* Handle auto traits & negative implsFlorian Diebold2019-05-111-1/+7
| | | | | We don't pass field types to Chalk yet though, so the auto trait inference won't be correct.
* More trait infrastructureFlorian Diebold2019-04-141-1/+32
| | | | | | | | | | - make it possible to get parent trait from method - add 'obligation' machinery for checking that a type implements a trait (and inferring facts about type variables from that) - handle type parameters of traits (to a certain degree) - improve the hacky implements check to cover enough cases to exercise the handling of traits with type parameters - basic canonicalization (will probably also be done by Chalk)
* Basics for trait method resolutionFlorian Diebold2019-03-251-0/+52