//! "svh-uta-trait.rs" is checking that we detect a | |
//! change from `use foo::TraitB` to use `foo::TraitB` in the hash | |
//! (SVH) computation (#14132), since that will affect method | |
//! resolution. | |
//! | |
//! This is the upstream crate. | |
#![crate_name = "uta"] | |
mod traits { | |
pub trait TraitA { fn val(&self) -> isize { 2 } } | |
pub trait TraitB { fn val(&self) -> isize { 3 } } | |
} | |
impl traits::TraitA for () {} | |
impl traits::TraitB for () {} | |
pub fn foo<T>(_: isize) -> isize { | |
use traits::TraitB; | |
let v = (); | |
v.val() | |
} |