DF
А это про релиз .47 речь?
Size: a a a
2020 October 06
DF
Понял
MB
Я сейчас говорю про мой PR который Default конст дженериками реализует
DF
А, прошу прощения
в🧇
Почему компилятор не прожёвывает баунды вроде
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=97dea811b7c28b5e5d50171600f5469b
for<'a> <T as Hrtb<'a>>::Inner: IntoOwned<Owned = O> и как с этим жить?https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=97dea811b7c28b5e5d50171600f5469b
MB
Универсальный ответ на любой такой вопрос: потому что chalk не вмержили
DF
Я бы очень хотел гат и конст женерики
DF
А в целом на чалк мне побоку
AV
Почему компилятор не прожёвывает баунды вроде
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=97dea811b7c28b5e5d50171600f5469b
for<'a> <T as Hrtb<'a>>::Inner: IntoOwned<Owned = O> и как с этим жить?https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=97dea811b7c28b5e5d50171600f5469b
Мне кажется, это тот же баг, что и тот, с которым я к тебе в лс обращался
MB
По-моему кусочек конст дженериков могут попасть в стейбл без chalk
AV
Переслано от Andrey Vlasov
AV
Я делал ишью, его так никто и не комментировал
Только лейбл повесили
Только лейбл повесили
в🧇
в🧇
Я делал ишью, его так никто и не комментировал
Только лейбл повесили
Только лейбл повесили
классика
AV
Ну у меня то без гатов 🤔
А самый-самый минимальный RE у меня тоже без гатов
в🧇
Яяяясно
AV
(Если я правильно помню, это давно уже было)
в🧇
Если кому интересно вот мре:
trait Marker {}
impl Marker for &() {}
trait Hrtb<'a> {
type Inner;
}
impl<'a> Hrtb<'a> for i32 {
type Inner = &'a ();
}
fn check<T>()
where
for<'a> T: Hrtb<'a>,
for<'a> <T as Hrtb<'a>>::Inner: Marker,
{}
fn test() {
check::<i32>();
}в🧇
Пойду в дискорде спрошу...
KR
Вообще, по фичам новых версий раста, если кто забыл, то напоминаю про замечательный:
https://caniuse.rs/
https://caniuse.rs/