{"ast_node_type":"function","tokens":[{"end":62,"kind":"keyword","start":0,"text":"//"}]}
                        // of implied bounds of fn signatures.
                        // types normally. This should be removed when we improve the tracking
                        self.prove_predicate(