fn bad_pointer_message(msg: CheckInAllocMsg, dcx: &DiagCtxt) -> String