tests/ui/type-alias-impl-trait/struct-assignment-validity.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

//@ compile-flags: -Zvalidate-mir
//@ check-pass

// Check that we don't cause cycle errors when validating pre-`RevealOpaques` MIR
// that assigns opaques through normalized projections.

#![feature(impl_trait_in_assoc_type)]

struct Bar;

trait Trait {
    type Assoc;
    fn foo() -> Foo;
}

impl Trait for Bar {
    type Assoc = impl std::fmt::Debug;
    fn foo() -> Foo
    where
        Self::Assoc:,
    {
        let x: <Bar as Trait>::Assoc = ();
        Foo { field: () }
    }
}

struct Foo {
    field: <Bar as Trait>::Assoc,
}

fn main() {}