{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
                // We should never encounter higher-ranked normalizes-to goals.
            if let Some(pred) = goal.predicate.as_normalizes_to() {
                let pred = pred.no_bound_vars().unwrap();