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