{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"|"}]}
                | ty::ClauseKind::UnstableFeature(..) => continue,
                // Unstable feature goals cannot be proven in an empty environment so skip them
                _ => {}