]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/type-alias-impl-trait/issue-63355.rs
8762d189c73891237009db88e35d9d96b571d309
1 #![feature(min_type_alias_impl_trait)]
2 #![feature(type_alias_impl_trait)]
3 #![allow(incomplete_features)]
10 fn foo() -> Self::Foo
;
15 type Bar
: Bar
<Foo
= Self::Foo
>;
17 fn foo() -> Self::Foo
;
18 fn bar() -> Self::Bar
;
26 fn foo() -> Self::Foo
{
31 // FIXME(#86731): The below is illegal use of `min_type_alias_impl_trait`
32 // but the compiler doesn't report it, we should fix it.
33 pub type FooImpl
= impl Foo
;
34 pub type BarImpl
= impl Bar
<Foo
= FooImpl
>;
35 //~^ ERROR: type mismatch resolving `<() as Bar>::Foo == ()`
41 fn foo() -> Self::Foo
{
45 fn bar() -> Self::Bar
{