{"ast_node_type":"variable","tokens":[{"end":95,"kind":"keyword","start":0,"text":"&&"}]}
                    && let ty::RawPtr(from_pointee_ty, from_mtbl) = self.ty(*cast_value).kind()
                    self.get(pointer)
                    && let ty::RawPtr(_, output_mtbl) = ty.kind()