{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"//"}]}
        // does not have any regions in it.
        // be no bound variables in this type because the "self type"
        let output_ty = self.resolve_vars_if_possible(predicate.term);