логично. чтобы сделать impl структуры надо кликать на переменную структуры)

Но этого и в Найтли нет :)

Я тоже очень хочу полноценную интроспекцию в процедурных макросах, но, увы.

Не хватает рефлекшна в макросах

возьмем const fn. я его безумно жду бо надоело делать кучу хаков для этого..

оттуда вытекают даже const imlp которых ваще нет.
это первое.

второе.

помню была прикольная штука возможность задать &self определенный тип типо &self: Arc<Self> и внутри  функции использовать все фитчи оберток.

далее.
на ум приходят мои многие эксперименты с trait. возьмем trait флаги. в стандартном есть Sync. Send это понятно. но! в найтли есть возможность придумать свой флаг и его автоматически реализовать для нужных типов по определенному условию.


еще сюда добавим из трейтов default fn:)  (возможность реализовать трейт для типа по умолчанию. а потом позволить его переопределить). например реализовать трейт для типа T ЛЮБОГО! а потом позволить переопределить этотже трейт для нужного T.

также добавим сюда trait type:))

ну этот список вечен вы чего:))

Arc<Self> есть и в стейбле

вижу.

но, максимум что изменилось...
они кроме Box разрешили и этот набор списка

error[E0307]: invalid `self` parameter type: &std::sync::Arc<B<Test>>
 --> src/main.rs:9:23
  |
9 |     fn function(self: &Arc<B<Self>>) {
  |                       ^^^^^^^^^^^^^
  |
  = note: type of `self` must be `Self` or a type that dereferences to it
  = help: consider changing to `self`, `&self`, `&mut self`, `self: Box<Self>`, `self: Rc<Self>`, `self: Arc<Self>`, or `self: Pin<P>` (where P is one of the previous types except `Self`)

хоть что-то, но)) это лишь в рамках std:)))

Так там написано, что-то что дереференсится, у тебя deref реализован в B?

Так там написано, что-то что дереференсится, у тебя deref реализован в B?

эмм. что?

вижу.

но, максимум что изменилось...
они кроме Box разрешили и этот набор списка

error[E0307]: invalid `self` parameter type: &std::sync::Arc<B<Test>>
 --> src/main.rs:9:23
  |
9 |     fn function(self: &Arc<B<Self>>) {
  |                       ^^^^^^^^^^^^^
  |
  = note: type of `self` must be `Self` or a type that dereferences to it
  = help: consider changing to `self`, `&self`, `&mut self`, `self: Box<Self>`, `self: Rc<Self>`, `self: Arc<Self>`, or `self: Pin<P>` (where P is one of the previous types except `Self`)

хоть что-то, но)) это лишь в рамках std:)))

ое...

так они не просто расширили Arc,Rc,Pin...

они вообще убрали возможность это делать с другими типами...

или как...

# ![feature(arbitrary_self_types )] больше нет.

https://github.com/rust-lang/rust/issues/55786

Есть: https://play.rust-lang.org/?version=nightly&mode=debug&edition=2018&gist=2e28e588bec918ee0056e29fc4f14f39

> If you’re interested in working on hard systems problems in Rust, we’re hiring for our core sync team.

а вот и работа на расте подвалила

> If you’re interested in working on hard systems problems in Rust, we’re hiring for our core sync team.

а вот и работа на расте подвалила