Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix clippy::single_match | Alan Du | 2019-06-04 | 1 | -6/+3 |
| | |||||
* | add AstDatabase | Aleksey Kladov | 2019-06-02 | 1 | -2/+8 |
| | |||||
* | Handle auto traits & negative impls | Florian Diebold | 2019-05-11 | 1 | -1/+7 |
| | | | | | We don't pass field types to Chalk yet though, so the auto trait inference won't be correct. | ||||
* | More trait infrastructure | Florian Diebold | 2019-04-14 | 1 | -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 resolution | Florian Diebold | 2019-03-25 | 1 | -0/+52 |