Proving WellFormed for struct types

[mattheww]

I've been reading through the current version of a-mir-formality, and I can't find support for proving WellFormed for types other than tuples.

I've tried to test the equivalent of this:

trait SomeTrait {
}

struct InnerThing<T> where T: SomeTrait {
    inner: T
}

struct OuterThing<T> where T: SomeTrait {
    it: InnerThing<T>
}

as follows:

#[test]
fn test_struct_field_well_formed() {
    expect_test::expect![[r#"
        Ok(
            (),
        )
    "#]]
    .assert_debug_eq(&test_program_ok(
        "[
            crate foo {

                trait SomeTrait<> where [] {}

                struct InnerThing<ty T> where [T: SomeTrait<>] {
                  inner: T
                }

                struct OuterThing<ty T> where [T: SomeTrait<>] {
                  it: InnerThing<T>
                }

            },
        ]",
    ));
}

It says failed to prove {@ wf((rigid (adt InnerThing) !ty_1))} given {SomeTrait(!ty_1)}, got {}.

Is this part of a-mir-formality still incomplete, or am I doing something wrong?

[mattheww]

The answer to this question was that this part of a-mir-formality was incomplete.

The test above passes now.

See also #146 .