]>
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 // revisions: min_tait full_tait
5 #![feature(min_type_alias_impl_trait)]
6 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
7 //[full_tait]~^ WARN incomplete
9 type X
<T
> = impl Clone
;
10 //~^ ERROR the trait bound `T: Clone` is not satisfied
12 fn f
<T
: Clone
>(t
: T
) -> X
<T
> {
16 fn g
<T
>(o
: Option
<X
<T
>>) -> Option
<X
<T
>> {
21 g(None
::<X
<&mut ()>>);