{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"Some(tr.trait_id)"}]}
                            Some(tr.trait_id)
                        if let WhereClause::Implemented(tr) = pred.skip_binders() {
                        } else {