mirror of https://github.com/rust-lang/rust.git
12 lines
316 B
Rust
12 lines
316 B
Rust
//! This test used to get stuck in an infinite
|
|
//! recursion during normalization.
|
|
//!
|
|
//! issue: https://github.com/rust-lang/rust/issues/133901
|
|
|
|
#![feature(trait_alias)]
|
|
fn foo<T: Baz<i32>>() {}
|
|
trait Baz<A> = Baz<Option<A>>;
|
|
//~^ ERROR: cycle detected when computing the implied predicates of `Baz`
|
|
|
|
fn main() {}
|