src/test/ui/svh/auxiliary/svh-uta-base.rs

   1 //! "compile-fail/svh-uta-trait.rs" is checking that we detect a
   2 //! change from `use foo::TraitB` to use `foo::TraitB` in the hash
   3 //! (SVH) computation (#14132), since that will affect method
   4 //! resolution.
   5 //!
   6 //! This is the upstream crate.
   7
   8 #![crate_name = "uta"]
   9
  10 mod traits {
  11     pub trait TraitA { fn val(&self) -> isize { 2 } }
  12     pub trait TraitB { fn val(&self) -> isize { 3 } }
  13 }
  14
  15 impl traits::TraitA for () {}
  16 impl traits::TraitB for () {}
  17
  18 pub fn foo<T>(_: isize) -> isize {
  19     use traits::TraitA;
  20     let v = ();
  21     v.val()
  22 }