Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge #6921 | bors[bot] | 2020-12-20 | 1 | -0/+28 |
|\ | | | | | | | | | | | | | | | 6921: Higher-ranked trait bounds for where clauses r=flodiebold a=Veykril There is a slight problem with this which is also noted in a FIXME now but `LifetimeParameters` of these ForLifetime where clauses allocate the lifetimes in the corresponding arena as if they were lifetimes of the item itself and not just the clause they belong to. I wasn't entirely sure what I could do about this but given nothing really uses lifetimes like that currently I figured it might be fine? Open to suggestions for that problem. Co-authored-by: Lukas Wirth <[email protected]> | ||||
| * | Higher-ranked trait bounds for where clauses | Lukas Wirth | 2020-12-17 | 1 | -0/+28 |
| | | |||||
* | | NavTarget doesn't assume that it points to a symbol | Aleksey Kladov | 2020-12-18 | 1 | -1/+1 |
| | | |||||
* | | Don't expose SyntaxKind from IDE API | Aleksey Kladov | 2020-12-18 | 1 | -2/+2 |
|/ | | | | | | SyntaxKind is somewhat of an internal type, but IDE is using it to basically specify an icon. Let's have a dedicated entity for this instead. | ||||
* | Lifetime reference search | Lukas Wirth | 2020-12-16 | 1 | -8/+49 |
| | |||||
* | Support 'go to definition' for self | Lukas Wirth | 2020-11-29 | 1 | -17/+39 |
| | |||||
* | Support goto definition for ADT-SelfParams | Lukas Wirth | 2020-11-28 | 1 | -6/+36 |
| | |||||
* | Re-export base_db from ide_db | Igor Aleksanov | 2020-10-24 | 1 | -1/+1 |
| | |||||
* | Clarify the names one more time | Aleksey Kladov | 2020-10-15 | 1 | -2/+2 |
| | |||||
* | More idiomatic classification API | Aleksey Kladov | 2020-10-15 | 1 | -3/+3 |
| | |||||
* | More clarifications | Aleksey Kladov | 2020-10-15 | 1 | -1/+1 |
| | |||||
* | Clarify NameClass names a bit | Aleksey Kladov | 2020-10-15 | 1 | -1/+1 |
| | |||||
* | rename mock_analysis -> fixture | Aleksey Kladov | 2020-10-02 | 1 | -2/+2 |
| | |||||
* | Get rid of MockAnalysis | Aleksey Kladov | 2020-10-02 | 1 | -13/+11 |
| | |||||
* | Rename ra_ide -> ide | Aleksey Kladov | 2020-08-13 | 1 | -0/+989 |