{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"{"}]}
                    {
                    })) = error_predicate.kind().skip_binder()
                        let ty = trait_ref.self_ty();