]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/lint/lint-ctypes-73251-2.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
5 #![deny(improper_ctypes)]
19 impl<T
> TraitB
for T
where T
: TraitA
{
20 type Assoc
= <T
as TraitA
>::Assoc
;
23 type AliasA
= impl TraitA
<Assoc
= u32>;
25 type AliasB
= impl TraitB
<Assoc
= AliasA
>;
27 fn use_of_a() -> AliasA { 3 }
29 fn use_of_b() -> AliasB { 3 }
32 pub fn lint_me() -> <AliasB
as TraitB
>::Assoc
; //~ ERROR: uses type `impl TraitA`