mirror of https://github.com/rust-lang/rust
25 lines
430 B
Rust
25 lines
430 B
Rust
// Regresison test for issue #75361
|
|
// Tests that we don't ICE on mismatched types with inference variables
|
|
|
|
|
|
trait MyTrait {
|
|
type Item;
|
|
}
|
|
|
|
pub trait Graph {
|
|
type EdgeType;
|
|
|
|
fn adjacent_edges(&self) -> Box<dyn MyTrait<Item = &Self::EdgeType>>;
|
|
}
|
|
|
|
impl<T> Graph for T {
|
|
type EdgeType = T;
|
|
|
|
fn adjacent_edges(&self) -> Box<dyn MyTrait<Item = &Self::EdgeType> + '_> { //~ ERROR `impl`
|
|
panic!()
|
|
}
|
|
|
|
}
|
|
|
|
fn main() {}
|