KR
Хм, интересная идея. Надо бы уже разродиться на
#[sealed] крейт, если ещё нету.&dyn private::SealedSize: a a a
2020 October 09
АГ
Или просто
или любой приватный unit-подобный тип? чтобы совсем бесплатно было
EG
или любой приватный unit-подобный тип? чтобы совсем бесплатно было
Или так, да.
EG
или любой приватный unit-подобный тип? чтобы совсем бесплатно было
Разумеется, технически
transmute между ZST легален...АГ
Разумеется, технически
transmute между ZST легален...никто не будет знать что это ZST)
EG
Но это уже потребует написать
unsafe {}, так что всё окEG
Хм, интересная идея. Надо бы уже разродиться на
#[sealed] крейт, если ещё нету.Непонятно, что делать на call site
Этот аргумент всё равно надо передать руками
Этот аргумент всё равно надо передать руками
АГ
да и как он сделает его если тип нельзя называть?
EG
да и как он сделает его если тип нельзя называть?
std::mem::transmute(())
EG
А тип Rust выведет сам, называть его необязательно
АГ
а, он выведется типа
KR
Вставить Into и вывод типов не смогёт
KR
Но тогда опять либо не zst, либо не object safe
EG
Вставить Into и вывод типов не смогёт
Подожди, а
impl Into<private::Seal> может и спастиKR
А это object safe?
EG
А это object safe?
А нет?
AV
Можно делать приватную обёртку, для неё имплементить
AsRef<Self> и принимать как self: W<Self>AV
Тогда внутри метода использовать легко
АГ
Можно делать приватную обёртку, для неё имплементить
AsRef<Self> и принимать как self: W<Self>для self разве можно указывать свои типы?
AV
Можно делать приватную обёртку, для неё имплементить
AsRef<Self> и принимать как self: W<Self>Ну и
AsMut для обёртки уникальной ссылки