{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
            // We need to normalize the b_ty since it's matched structurally
            let a_ty = goal.predicate.self_ty();
            // in the other functions below.