Rc type inference failed

[A4-Tacks]

rust-analyzer version: rust-analyzer 1.88.0-nightly (a15cce2 2025-04-17)

rustc version: rustc 1.88.0-nightly (a15cce269 2025-04-17)

editor or extension: VIM-9.1 coc-rust-analyzer

code snippet to reproduce:

use std::rc::Rc;

fn foo<T: ?Sized>(_: Rc<T>) -> Result<&'static T, Rc<T>> {
    todo!()
}

fn main() {
    let boxed: Box<[i32]> = Box::from([1, 2]);
    let rc = Rc::from(boxed);
    let _: &[i32] = foo(rc).unwrap();
}

rc inlayHints is : Rc<{unknown}>,
type_name_of_val(&rc) = "alloc::rc::Rc<[i32]>"