{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"handle_trace(constraint.sub,"}]}
                    handle_trace(constraint.sub, Trace::FromGraph(constraint));
                    debug_assert_eq!(constraint.sup, r);
                }