1 // Regresison test for issue #75361 2 // Tests that we don't ICE on mismatched types with inference variables 3 4 5 trait MyTrait { 6 type Item; 7 } 8 9 pub trait Graph { 10 type EdgeType; 11 adjacent_edges(&self) -> Box<dyn MyTrait<Item = &Self::EdgeType>>12 fn adjacent_edges(&self) -> Box<dyn MyTrait<Item = &Self::EdgeType>>; 13 } 14 15 impl<T> Graph for T { 16 type EdgeType = T; 17 adjacent_edges(&self) -> Box<dyn MyTrait<Item = &Self::EdgeType> + '_>18 fn adjacent_edges(&self) -> Box<dyn MyTrait<Item = &Self::EdgeType> + '_> { //~ ERROR `impl` 19 panic!() 20 } 21 22 } 23 main()24fn main() {} 25