{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"(self.cast_span,"}]}
                    (self.cast_span, errors::CastUnknownPointerSub::From(self.span))
                } else {
                };