Rust HRTB идентичен, но компилятор говорит, что один тип более общий, чем другой.

Следующий код полностью аннотирован:

fn enter<'a, F, R>(x: &'a i32, func: F) -> R
where
    F: for<'b> FnOnce(&'b i32) -> R,
{
    func(x)
}

fn identity<'a>(x: &'a i32) -> &'a i32 {
    x
}

fn main() {
    let x = &42;
    enter(x, identity);
}

Компилятор сообщает об ошибке при компиляции:

error[E0308]: mismatched types
  --> src/main.rs:14:5
   |
14 |     enter(x, identity);
   |     ^^^^^^^^^^^^^^^^^^ one type is more general than the other
   |
   = note: expected trait `for<'b> FnOnce<(&'b i32,)>`
              found trait `for<'a> FnOnce<(&'a i32,)>`
note: the lifetime requirement is introduced here
  --> src/main.rs:3:35
   |
3  |     F: for<'b> FnOnce(&'b i32) -> R,
   |                                   ^

For more information about this error, try `rustc --explain E0308`.
error: could not compile `playground` due to previous error

Тем не менее, общий -> R кажется виновником остановки компиляции, но я не знаю, почему.

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

Связанный:

• Ошибка «ожидаемый тип» Rust печатает несоответствующие типы, которые абсолютно одинаковы
• Один тип (указатель на функцию) более общий, чем другой
• Ошибка «один тип более общий, чем другой» в Rust, в то время как типы идентичны
• Создание псевдонима для признака Fn приводит к ошибке «один тип более общий, чем другой»
• https://users.rust-lang.org/t/solved-one-type-is-more-general-than-the-other-but-they-are-exactly-the-same/25194