{"ast_node_type":"variable","tokens":[{"end":90,"kind":"keyword","start":0,"text":"let"}]}
                let actual = cx.type_of(opaque_ty.def_id).instantiate(cx, opaque_ty.args);
                // FIXME: Add an assertion that opaque type storage is empty.
                self.eq(goal.param_env, expected, actual)?;