blob: 0a9f8f50bdcbea8b8f545c26c19735b89d41c822 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
trait Foo {
type A;
}
struct FooStruct;
impl Foo for FooStruct {
//~^ ERROR overflow evaluating the requirement `<FooStruct as Foo>::A == _`
type A = <FooStruct as Foo>::A;
//~^ ERROR overflow evaluating the requirement `<FooStruct as Foo>::A == _`
}
fn main() {}
|
