Compiler can't infer &str type when &String is inserted first in a collection with tuples

Description: compiler can't infer &str type when String is inserted first in a collection with tuples.

Steps to reproduce: create a new array and fill it with tuples, where one of the elements is a string literal and one is a variable of type &String. Depending one the order, it might or might not compile because type can't be inferred.

let s = &String::from("foo");

let arr1 = [(1, s), (2, "bar")];  // This line contains a compilation error 
let arr2 = [(2, "bar"), (1, s)];  // Does compile; inferred type is [(i32, &str); 2]

Error message:

error[E0308]: mismatched types
   |
   |     let arr1 = [(1, s), (2, "bar")];
   |                             ^^^^^ expected `&String`, found `&str`
   |
   = note: expected reference `&String`
              found reference `&'static str`

Rust compiler version: rustc 1.80.1 (3f5fd8dd4 2024-08-06)

Start by compiling the provided arr1 and arr2 reproductions with rustc 1.80.1 and compare their inferred types and diagnostics. Investigate the compiler's type inference for arrays containing tuples with &String and string literals; done means both orderings compile consistently with the intended common element type and have regression coverage.