{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"//"}]}
                            // and should check for them here.
                            // FIXME we can also infer bounds on associated types,
                            match predicate.bounded_ty.kind {