blob: 5d325b981a2c64de86d101b9d3e0ea296f056001 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// This was originally a test for a `ReEmpty` ICE, but became an unintentional test of
// the coinductiveness of WF predicates. That behavior was removed, and thus this is
// also inadvertently a test for the (non-)co-inductiveness of WF predicates.
pub trait Foo {
type Type;
}
pub struct Bar<T>(<Self as Foo>::Type) where Self: ;
//~^ ERROR the trait bound `Bar<T>: Foo` is not satisfied
//~| ERROR overflow evaluating the requirement `Bar<T> well-formed`
fn main() {}
|
