From 79e45fae17b0a22d4326e28bc5213a56ee5b4765 Mon Sep 17 00:00:00 2001
From: Daiva Naudziuniene <daivan@fb.com>
Date: Tue, 6 Jul 2021 08:56:10 -0700
Subject: [PATCH] [pulse][objc][nils] Fix printing of non-pod type in the error
 message

Summary: Typ.pp does not print types by default, use Typ.pp_full instead.

Reviewed By: ngorogiannis

Differential Revision: D29557158

fbshipit-source-id: 62ae20bd5
---
 infer/src/pulse/PulseDiagnostic.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/pulse/PulseDiagnostic.ml b/infer/src/pulse/PulseDiagnostic.ml
index 5abc4869f..7b1da9820 100644
--- a/infer/src/pulse/PulseDiagnostic.ml
+++ b/infer/src/pulse/PulseDiagnostic.ml
@@ -81,7 +81,7 @@ let get_message diagnostic =
           let nil_issue_kind = function
             | Invalidation.SelfOfNonPODReturnMethod non_pod_typ ->
                 F.asprintf "undefined behaviour caused by nil messaging of non-pod return type (%a)"
-                  (Typ.pp Pp.text) non_pod_typ
+                  (Typ.pp_full Pp.text) non_pod_typ
             | Invalidation.InsertionIntoCollection ->
                 "nil insertion into collection"
             | Invalidation.BlockCall ->