Add regression test for inference failures

(cherry picked from commit 4a4f3b0e8e)
This commit is contained in:
ltdk 2025-10-23 18:24:39 -04:00 committed by Josh Stone
parent 566809897f
commit 21ffe30cd5

View file

@ -0,0 +1,20 @@
//@ run-pass
// regression test for #147964:
// constification of these traits resulted in inference errors due to additional where clauses
use std::borrow::{Cow, Borrow};
pub fn generic_deref<'a, T: ToOwned<Owned = U>, U>(cow: Cow<'a, T>) {
let _: &T = &cow;
}
pub fn generic_borrow<'a, T: ToOwned<Owned = U>, U>(cow: Cow<'a, T>) {
let _: &T = cow.borrow();
}
pub fn generic_as_ref<'a, T: ToOwned<Owned = U>, U>(cow: Cow<'a, T>) {
let _: &T = cow.as_ref();
}
fn main() {}