]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/type-alias-impl-trait/generic_duplicate_param_use3.rs
1 // revisions: min_tait full_tait
2 #![feature(min_type_alias_impl_trait)]
3 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
4 //[full_tait]~^ WARN incomplete
10 // test that unused generic parameters are ok
11 type Two
<T
, U
> = impl Debug
;
13 fn one
<T
: Debug
>(t
: T
) -> Two
<T
, T
> {
14 //~^ ERROR non-defining opaque type use in defining scope
18 fn two
<T
: Debug
, U
>(t
: T
, _
: U
) -> Two
<T
, U
> {
22 fn three
<T
, U
: Debug
>(_
: T
, u
: U
) -> Two
<T
, U
> {