{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"),"}]}
                ),
                        .map(|(c, s)| (c.as_predicate(), s)),
            ty::Dynamic(object_type, ..) => {