// Regression test for https://github.com/rust-lang/rust/issues/43134

// check-pass
// compile-flags: --cap-lints allow

type Foo<T: Clone> = Option<T>;

fn main() {}