blob: 8171dc0ae28d62d81feab67ed6e4881d074bd92a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// check-fail
#![feature(generic_associated_types)]
trait Foo {
type Assoc<'a, 'b>;
}
impl Foo for () {
type Assoc<'a, 'b> = () where 'a: 'b;
//~^ impl has stricter requirements than trait
}
fn main() {}
|