{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"*subst"}]}
            *subst = table.resolve_completely(subst.clone());
        for (_, subst) in method_resolutions.values_mut() {
            *has_errors =