{"ast_node_type":"variable","tokens":[{"end":65,"kind":"keyword","start":0,"text":"let"}]}
            let hidden_type = infcx.resolve_vars_if_possible(ty);
        for (key, ty) in infcx.take_opaque_types() {
            let key = infcx.resolve_vars_if_possible(key);