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