gistfile1.txt

Canonical {
    value: QueryInput {
        goal: Goal {
            param_env: ParamEnv {
                caller_bounds: [],
                reveal: UserFacing,
            },
            predicate: Binder { value: NormalizesTo(AliasTerm { args: [], def_id: DefId(0:6 ~ test[b77b]::hello::{opaque#0}) }, Term::Ty(^1_0)), bound_vars: [] },
        },
        predefined_opaques_in_body: PredefinedOpaques(
            PredefinedOpaquesData {
                opaque_types: [
                    (
                        OpaqueTypeKey {
                            def_id: DefId(0:6 ~ test[b77b]::hello::{opaque#0}),
                            args: [],
                        },
                        (),
                    ),
                ],
            },
        ),
    },
    max_universe: U0,
    defining_opaque_types: [
        DefId(0:6 ~ test[b77b]::hello::{opaque#0}),
    ],
    variables: [
        CanonicalVarInfo {
            kind: Ty(
                General(
                    U0,
                ),
            ),
        },
    ],
} ==> Ok(
    Canonical {
        value: Response {
            certainty: Yes,
            var_values: CanonicalVarValues {
                var_values: [
                    Alias(
                        Opaque,
                        AliasTy {
                            args: [
                            ],
                            def_id: DefId(0:6 ~ test[b77b]::hello::{opaque#0}),
                        },
                    ),
                ],
            },
            external_constraints: ExternalConstraints(
                ExternalConstraintsData {
                    region_constraints: QueryRegionConstraints {
                        outlives: [],
                        member_constraints: [],
                    },
                    opaque_types: [],
                    normalization_nested_goals: NestedNormalizationGoals(
                        [],
                    ),
                },
            ),
        },
        max_universe: U0,
        defining_opaque_types: [
            DefId(0:6 ~ test[b77b]::hello::{opaque#0}),
        ],
        variables: [],
    },
)