Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Introduce QuantifiedWhereClause and DynTy analogous to Chalk | Florian Diebold | 2021-03-21 | 8 | -105/+213 |
* | Merge #8133 | bors[bot] | 2021-03-21 | 7 | -16/+173 |
|\ | |||||
| * | Ignore type bindings in generic_predicates_for_param | Florian Diebold | 2021-03-21 | 6 | -19/+52 |
| * | Test for a Salsa bug | Florian Diebold | 2021-03-21 | 3 | -0/+124 |
* | | Merge #8132 | bors[bot] | 2021-03-21 | 3 | -2/+37 |
|\ \ | |||||
| * | | Add `'` to trigger_characters, allowing more direct lifetime completions | Lukas Wirth | 2021-03-21 | 3 | -2/+37 |
* | | | Merge #8135 | bors[bot] | 2021-03-21 | 39 | -168/+130 |
|\ \ \ | |||||
| * | | | a lot of clippy::style fixes | Matthias Krüger | 2021-03-21 | 19 | -69/+52 |
| * | | | clippy::complexity simplifications related to Iterators | Matthias Krüger | 2021-03-21 | 12 | -78/+62 |
| * | | | xtask: remove redundant lifetime (clippy::extra_unused_lifetimes) | Matthias Krüger | 2021-03-21 | 1 | -1/+1 |
| * | | | use strip_prefix() instead of starts_with and slicing (clippy::manual_strip) | Matthias Krüger | 2021-03-21 | 4 | -13/+9 |
| * | | | remove more redundant clones (clippy::redundant_clone()) | Matthias Krüger | 2021-03-21 | 5 | -7/+6 |
| | |/ | |/| | |||||
* | | | Merge #8128 | bors[bot] | 2021-03-21 | 2 | -6/+28 |
|\ \ \ | |/ / |/| | | |||||
| * | | Expand legacy-scoped macro during collection | Jonas Schievink | 2021-03-21 | 2 | -6/+28 |
* | | | Merge #8131 | bors[bot] | 2021-03-21 | 6 | -28/+93 |
|\ \ \ | |||||
| * | | | Fix the profile string | Kirill Bulatov | 2021-03-21 | 1 | -1/+1 |
| * | | | Less reallocations | Kirill Bulatov | 2021-03-21 | 4 | -21/+12 |
| * | | | Use smart case in flyimport items lookup | Kirill Bulatov | 2021-03-21 | 3 | -6/+80 |
|/ / / | |||||
* | | | Merge #8123 | bors[bot] | 2021-03-21 | 6 | -224/+250 |
|\ \ \ | |_|/ |/| | | |||||
| * | | Disable unqualified assoc items completion for now | Kirill Bulatov | 2021-03-20 | 3 | -2/+10 |
| * | | Docs | Kirill Bulatov | 2021-03-20 | 5 | -15/+20 |
| * | | Do not query item search by name eagerly | Kirill Bulatov | 2021-03-20 | 4 | -222/+200 |
| * | | Do not propose assoc items without qualifiers | Kirill Bulatov | 2021-03-20 | 3 | -3/+38 |
* | | | Merge #8130 | bors[bot] | 2021-03-21 | 1 | -3/+0 |
|\ \ \ | |||||
| * | | | Revert "Temporarily run git describe on CI to debug #8043" | Laurențiu Nicola | 2021-03-21 | 1 | -3/+0 |
|/ / / | |||||
* | | | Merge #8127 | bors[bot] | 2021-03-21 | 8 | -18/+184 |
|\ \ \ | |_|/ |/| | | |||||
| * | | Fix incorrect scoping in while expressions | Lukas Wirth | 2021-03-21 | 3 | -14/+41 |
| * | | Add label completion | Lukas Wirth | 2021-03-21 | 4 | -7/+100 |
| * | | Track labels in scopes | Lukas Wirth | 2021-03-21 | 4 | -11/+57 |
* | | | Merge #8122 | bors[bot] | 2021-03-21 | 8 | -14/+36 |
|\ \ \ | |/ / |/| | | |||||
| * | | Fix and test edge cases of `_` as ident | Kevin Mehall | 2021-03-20 | 3 | -3/+13 |
| * | | Make bare underscore token an Ident rather than Punct in proc-macro | Kevin Mehall | 2021-03-20 | 6 | -12/+24 |
* | | | Merge #8124 | bors[bot] | 2021-03-20 | 5 | -14/+233 |
|\ \ \ | |||||
| * | | | Add basic lifetime completion | Lukas Wirth | 2021-03-20 | 5 | -14/+233 |
| |/ / | |||||
* | | | Merge #8125 | bors[bot] | 2021-03-20 | 5 | -24/+44 |
|\ \ \ | |_|/ |/| | | |||||
| * | | Don't use an untyped String for ActiveParam tracking | Lukas Wirth | 2021-03-20 | 5 | -24/+44 |
| |/ | |||||
* | | Merge #8121 | bors[bot] | 2021-03-20 | 1 | -0/+3 |
|\ \ | |/ |/| | |||||
| * | Temporarily run git describe to debug #8043 | Laurențiu Nicola | 2021-03-20 | 1 | -0/+3 |
|/ | |||||
* | Merge #8119 | bors[bot] | 2021-03-20 | 4 | -12/+10 |
|\ | |||||
| * | Don't return a SourceChange on WillRenameFiles when nothing gets refactored | Lukas Wirth | 2021-03-20 | 2 | -8/+7 |
| * | Fix add_life_to_type label typo | Lukas Wirth | 2021-03-20 | 2 | -4/+3 |
* | | Merge #8117 | bors[bot] | 2021-03-20 | 14 | -91/+130 |
|\ \ | |||||
| * | | Turn Obligation into something similar to chalk_ir::DomainGoal | Florian Diebold | 2021-03-20 | 14 | -91/+130 |
* | | | Merge #8116 | bors[bot] | 2021-03-20 | 7 | -42/+8 |
|\| | | |||||
| * | | Remove WhereClause::Error | Florian Diebold | 2021-03-20 | 7 | -42/+8 |
* | | | Merge #8115 | bors[bot] | 2021-03-20 | 10 | -105/+89 |
|\| | | |||||
| * | | Rename GenericPredicate -> WhereClause | Florian Diebold | 2021-03-20 | 10 | -105/+89 |
|/ / | |||||
* | | Merge #8112 | bors[bot] | 2021-03-19 | 7 | -187/+248 |
|\ \ | |||||
| * | | Add `AttrsWithOwner` and clean up `source_map` | Jonas Schievink | 2021-03-19 | 5 | -155/+216 |
| * | | Move `AttrsOwnerNode` to syntax and make it public | Jonas Schievink | 2021-03-19 | 3 | -33/+33 |
|/ / |