blob: 848afc1efb23a59dacfa00499c58ede3a0553692 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
//! 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() {}
|
