Https://Play.Rust-Lang.Org/?Version=Stable&Mode=Debug&Edition=2021&Gist=8114977d7e019487ad44c0d4e4da8b87 Объясните почему первые 2 кложи не работают? там impl Borrow

Question

Rust — русскоговорящее сообщество

kitsu

Https://Play.Rust-Lang.Org/?Version=Stable&Mode=Debug&Edition=2021&Gist=8114977d7e019487ad44c0d4e4da8b87 Объясните почему первые 2 кложи не работают? там impl Borrow

для contains какой-то левый тип выводит что ли?

#backend #embedded #programming #russian #rust

0

25.10.2021

5 ответов

23 просмотра

Max Силинг

Проблема в том, что тип этого замыкания выводится как &'a str -> bool, вместо for<'a> &'a str -> bool до того, как тайпчекается каст. А вот в позиции аргумента функции тип выводится вовремя и всё срабатывает. Третья штука работает, потому что явная аннотация типов меняет правила вывода лайфтаймов для замыканий.

0

25.10.2021

Max Силинг

это, вероятно, вот эта проблема или какая-то соседняя

0

25.10.2021

kitsu Автор вопроса

Max Силинг
https://play.rust-lang.org/?version=nightly&mode=d...

хм, любопытно какая-то неочевидная штука конечно

0

25.10.2021

Max Силинг