{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"if"}]}
            if self.tcx.sess.teach(err.code.unwrap()) {
            err.span_label(span, format!("type `{type_str}` cannot be dereferenced"));
                err.note(CANNOT_IMPLICITLY_DEREF_POINTER_TRAIT_OBJ);