]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/type-alias-impl-trait/bounds-are-checked-2.rs
1 // Make sure that we check that impl trait types implement the traits that they
4 #![feature(type_alias_impl_trait)]
6 type X
<T
> = impl Clone
;
8 fn f
<T
: Clone
>(t
: T
) -> X
<T
> {
10 //~^ ERROR the trait bound `T: Clone` is not satisfied
13 fn g
<T
>(o
: Option
<X
<T
>>) -> Option
<X
<T
>> {
18 g(None
::<X
<&mut ()>>);