{"ast_node_type":"variable","tokens":[{"end":58,"kind":"keyword","start":0,"text":"let"}]}
            let key = infcx.resolve_vars_if_possible(key);
            let hidden_type = infcx.resolve_vars_if_possible(ty);
            sanity_check_found_hidden_type(tcx, key, hidden_type)?;