Mirrors/rust-analyzer
2
0
Fork 0
mirror of https://github.com/rust-lang/rust-analyzer synced 2025-01-06 02:08:49 +00:00
Code Issues Projects Releases Packages Wiki Activity
rust-analyzer/crates/ide/src
History
bors 56d888689b Auto merge of #12793 - lowr:fix/12739, r=Veykril 
fix: sort and deduplicate auto traits in trait object types

Fixes #12739

Chalk solver doesn't sort and deduplicate auto traits in trait object types, so we need to handle them ourselves in the lowering phase, just like [`rustc`](880416180b/compiler/rustc_typeck/src/astconv/mod.rs (L1487-L1488)) and [`chalk-integration`](https://github.com/rust-lang/chalk/blob/master/chalk-integration/src/lowering.rs#L575) do.

Quoting from [the Chalk book](https://rust-lang.github.io/chalk/book/types/rust_types.html#dyn-types):

> Note that -- for this purpose -- ordering of bounds is significant. That means that if you create a `dyn Foo + Send` and a `dyn Send + Foo`, chalk would consider them distinct types. The assumption is that bounds are ordered in some canonical fashion somewhere else.

Also, trait object types with more than one non-auto traits were previously allowed, but are now disallowed with this patch.
2022-08-31 08:28:12 +00:00
..
doc_links Run cargo fix --edition-idioms 2022-07-20 15:02:08 +02:00
hover Add a setting for keyword hover popups 2022-08-16 16:51:40 +02:00
prime_caches Re-export FxHashMap and FxHashSet from ide_db 2022-04-25 18:51:59 +02:00
syntax_highlighting Resolve doc links on impl blocks 2022-08-23 17:50:45 +02:00
typing Add scary warning to onEnter 2022-02-28 12:15:15 +02:00
annotations.rs internal: Remove redundant offset data in annotations 2022-05-12 13:06:49 +02:00
call_hierarchy.rs fix: Fix incorrect token pick rankings 2022-08-05 14:59:26 +02:00
doc_links.rs Resolve doc links on impl blocks 2022-08-23 17:50:45 +02:00
expand_macro.rs Fix r-a spelling in some places 2022-08-01 13:47:09 +02:00
extend_selection.rs Run cargo fix --edition-idioms 2022-07-20 15:02:08 +02:00
file_structure.rs more clippy fixes: 2022-03-12 16:50:49 +01:00
fixture.rs add some tests 2021-09-26 12:48:53 +03:30
fn_references.rs Rename *Owner traits to Has* 2021-09-27 12:54:24 +02:00
folding_ranges.rs feat: add fold range for multi line match arm list 2022-06-18 16:05:56 +08:00
goto_declaration.rs minor: Freshen up goto feature docs 2022-05-27 15:47:31 +02:00
goto_definition.rs Auto merge of #12982 - jridgewell:into_future, r=Veykril 2022-08-18 07:37:47 +00:00
goto_implementation.rs fix: Fix incorrect token pick rankings 2022-08-05 14:59:26 +02:00
goto_type_definition.rs Don't show trait flyimports for impl trait and placeholders 2021-12-10 19:18:21 +01:00
highlight_related.rs feat: Handle operators like their trait functions in the IDE 2022-08-05 14:16:36 +02:00
hover.rs Add a setting for keyword hover popups 2022-08-16 16:51:40 +02:00
inlay_hints.rs fix: sort and deduplicate auto traits in trait object types 2022-08-30 20:52:42 +09:00
join_lines.rs Fix r-a spelling in some places 2022-08-01 13:47:09 +02:00
lib.rs Move highlight configuration from protocol into the feature 2022-08-23 14:05:55 +02:00
markdown_remove.rs Remove more unreachable pubs 2020-11-02 16:58:33 +01:00
markup.rs Rename ra_ide -> ide 2020-08-13 17:58:27 +02:00
matching_brace.rs Fix r-a spelling in some places 2022-08-01 13:47:09 +02:00
moniker.rs feat: emit SCIP via rust-analyzer 2022-08-22 15:13:46 -04:00
move_item.rs Fix r-a spelling in some places 2022-08-01 13:47:09 +02:00
navigation_target.rs Record derive helper attributes, resolve them in IDE layer 2022-07-26 09:26:51 +02:00
parent_module.rs Fix r-a spelling in some places 2022-08-01 13:47:09 +02:00
prime_caches.rs Make use of NoHash hashing for FileId and CrateId 2022-08-25 20:41:49 +02:00
references.rs Make use of NoHash hashing for FileId and CrateId 2022-08-25 20:41:49 +02:00
rename.rs Run cargo fmt 2022-07-20 15:06:15 +02:00
runnables.rs Add test for runnables with raw identifiers 2022-08-11 03:41:23 +09:00
shuffle_crate_graph.rs Fix r-a spelling in some places 2022-08-01 13:47:09 +02:00
signature_help.rs Record derive helper attributes, resolve them in IDE layer 2022-07-26 09:26:51 +02:00
ssr.rs Re-export FxHashMap and FxHashSet from ide_db 2022-04-25 18:51:59 +02:00
static_index.rs Add a setting for keyword hover popups 2022-08-16 16:51:40 +02:00
status.rs remove imports that are also in edition 2021's prelude 2022-08-09 01:16:32 +02:00
syntax_highlighting.rs Add config for macro bang token highlighting, disable by default 2022-08-23 14:05:56 +02:00
syntax_tree.rs Fix r-a spelling in some places 2022-08-01 13:47:09 +02:00
typing.rs internal: Make autoclosing angle brackets configurable, disabled by default 2022-05-25 12:42:07 +02:00
view_crate_graph.rs Make use of NoHash hashing for FileId and CrateId 2022-08-25 20:41:49 +02:00
view_hir.rs Add an HIR pretty-printer 2022-08-15 13:51:45 +02:00
view_item_tree.rs Fix r-a spelling in some places 2022-08-01 13:47:09 +02:00