aboutsummaryrefslogtreecommitdiff
path: root/crates
Commit message (Expand)AuthorAgeFilesLines
...
* | | | Merge #8139bors[bot]2021-03-2211-179/+194
|\ \ \ \
| * | | | Align InEnvironment with ChalkFlorian Diebold2021-03-2110-123/+94
| * | | | Align Canonical more with Chalk's versionFlorian Diebold2021-03-216-81/+125
* | | | | Merge #8136 #8146bors[bot]2021-03-2210-113/+212
|\| | | |
| * | | | Use QuantifiedWhereClause in generic_predicates as wellFlorian Diebold2021-03-219-37/+28
| * | | | Introduce QuantifiedWhereClause and DynTy analogous to ChalkFlorian Diebold2021-03-218-105/+213
* | | | | Reexport PrefixKind to remove deps to hirEdwin Cheng2021-03-223-5/+8
| |_|_|/ |/| | |
* | | | Merge #8137bors[bot]2021-03-213-9/+51
|\ \ \ \
| * | | | Fix box pattern inference panicLukas Wirth2021-03-213-9/+51
* | | | | Merge #8134bors[bot]2021-03-215-30/+108
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | check is_include_macro only when attr_path is not specifiedYilin Chen2021-03-211-4/+3
| * | | | use the included file as the source of expanded include macroYilin Chen2021-03-215-28/+107
* | | | | Merge #8133bors[bot]2021-03-217-16/+173
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | Ignore type bindings in generic_predicates_for_paramFlorian Diebold2021-03-216-19/+52
| * | | | Test for a Salsa bugFlorian Diebold2021-03-213-0/+124
| | |/ / | |/| |
* | | | Merge #8132bors[bot]2021-03-213-2/+37
|\ \ \ \
| * | | | Add `'` to trigger_characters, allowing more direct lifetime completionsLukas Wirth2021-03-213-2/+37
| | |/ / | |/| |
* | | | Merge #8135bors[bot]2021-03-2133-156/+120
|\ \ \ \
| * | | | a lot of clippy::style fixesMatthias Krüger2021-03-2116-66/+49
| * | | | clippy::complexity simplifications related to IteratorsMatthias Krüger2021-03-2112-78/+62
| * | | | use strip_prefix() instead of starts_with and slicing (clippy::manual_strip)Matthias Krüger2021-03-212-5/+3
| * | | | remove more redundant clones (clippy::redundant_clone())Matthias Krüger2021-03-215-7/+6
| | |/ / | |/| |
* | | | Merge #8128bors[bot]2021-03-212-6/+28
|\ \ \ \ | |/ / / |/| | |
| * | | Expand legacy-scoped macro during collectionJonas Schievink2021-03-212-6/+28
* | | | Fix the profile stringKirill Bulatov2021-03-211-1/+1
* | | | Less reallocationsKirill Bulatov2021-03-214-21/+12
* | | | Use smart case in flyimport items lookupKirill Bulatov2021-03-213-6/+80
* | | | Merge #8123bors[bot]2021-03-216-224/+250
|\ \ \ \ | |_|/ / |/| | |
| * | | Disable unqualified assoc items completion for nowKirill Bulatov2021-03-203-2/+10
| * | | DocsKirill Bulatov2021-03-205-15/+20
| * | | Do not query item search by name eagerlyKirill Bulatov2021-03-204-222/+200
| * | | Do not propose assoc items without qualifiersKirill Bulatov2021-03-203-3/+38
* | | | Merge #8127bors[bot]2021-03-218-18/+184
|\ \ \ \ | |_|/ / |/| | |
| * | | Fix incorrect scoping in while expressionsLukas Wirth2021-03-213-14/+41
| * | | Add label completionLukas Wirth2021-03-214-7/+100
| * | | Track labels in scopesLukas Wirth2021-03-214-11/+57
* | | | Merge #8122bors[bot]2021-03-218-14/+36
|\ \ \ \ | |/ / / |/| | |
| * | | Fix and test edge cases of `_` as identKevin Mehall2021-03-203-3/+13
| * | | Make bare underscore token an Ident rather than Punct in proc-macroKevin Mehall2021-03-206-12/+24
| |/ /
* | | Merge #8124bors[bot]2021-03-205-14/+233
|\ \ \
| * | | Add basic lifetime completionLukas Wirth2021-03-205-14/+233
| |/ /
* / / Don't use an untyped String for ActiveParam trackingLukas Wirth2021-03-205-24/+44
|/ /
* | Merge #8119bors[bot]2021-03-204-12/+10
|\ \
| * | Don't return a SourceChange on WillRenameFiles when nothing gets refactoredLukas Wirth2021-03-202-8/+7
| * | Fix add_life_to_type label typoLukas Wirth2021-03-202-4/+3
* | | Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-2014-91/+130
* | | Remove WhereClause::ErrorFlorian Diebold2021-03-207-42/+8
* | | Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-2010-105/+89
* | | Add `AttrsWithOwner` and clean up `source_map`Jonas Schievink2021-03-195-155/+216
* | | Move `AttrsOwnerNode` to syntax and make it publicJonas Schievink2021-03-193-33/+33