{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"ty.ty"}]}
            ty.ty = infcx.resolve_vars_if_possible(ty.ty);
        for (mut key, mut ty) in infcx.take_opaque_types() {
            key = infcx.resolve_vars_if_possible(key);