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