gistfile1.txt

ProgramEnvironment {
    trait_data: {
        Foo: TraitDatum {
            binders: for<type> TraitDatumBound {
                trait_ref: ?0 as Foo,
                where_clauses: [
                    <?0 as Foo>::Assoc: Foo
                ],
                auto: false
            }
        }
    },
    associated_ty_data: {
        (Foo::Assoc): AssociatedTyDatum {
            trait_id: Foo,
            id: (Foo::Assoc),
            name: "Assoc",
            parameter_kinds: [
                "Self"
            ],
            where_clauses: []
        }
    },
    program_clauses: [
        ProgramClause {
            implication: for<type> ProgramClauseImplication {
                consequence: WellFormed(?0 as Foo),
                conditions: [
                    WellFormed(?0),
                    WellFormed(<?0 as Foo>::Assoc as Foo),
                    <?0 as Foo>::Assoc: Foo
                ]
            },
            fallback_clause: false
        },
        ProgramClause {
            implication: for<type> ProgramClauseImplication {
                consequence: WellFormed(<?0 as Foo>::Assoc as Foo),
                conditions: [
                    WellFormed(?0 as Foo)
                ]
            },
            fallback_clause: false
        },
        ProgramClause {
            implication: for<type> ProgramClauseImplication {
                consequence: <?0 as Foo>::Assoc: Foo,
                conditions: [
                    WellFormed(?0 as Foo)
                ]
            },
            fallback_clause: false
        },
        ProgramClause {
            implication: for<type> ProgramClauseImplication {
                consequence: <?0 as Foo>::Assoc ==> (Foo::Assoc)<?0>,
                conditions: [
                    ?0: Foo
                ]
            },
            fallback_clause: true
        },
        ProgramClause {
            implication: for<type, type> ProgramClauseImplication {
                consequence: ?0: Foo,
                conditions: [
                    <?0 as Foo>::Assoc ==> ?1
                ]
            },
            fallback_clause: false
        }
    ]
}