[nullsafe] Improve diagnostic message

Summary: This will allow us to track cases when this assert fires Reviewed By: ngorogiannis Differential Revision: D21427776 fbshipit-source-id: 96b6d7c3b
5 years ago · 6305bc9e47
parent d373a81b73
commit 6305bc9e47
1 changed files with 3 additions and 1 deletions
--- a/infer/src/nullsafe/NullsafeMode.ml
+++ b/infer/src/nullsafe/NullsafeMode.ml
@ -203,7 +203,9 @@ and weak_type = ExtraTrustClass of JavaClassName.t list | Other
 let check_problematic_class_annotation tenv user_defined_class =
  if JavaClassName.is_anonymous_inner_class_name user_defined_class then
    Logging.die InternalError
-      "check_problematic_class_annotation: should not be called for anonymous classes" ;
+      "check_problematic_class_annotation: should not be called for anonymous classes, but was \
+       called for %a"
+      JavaClassName.pp user_defined_class ;
  Option.value_map
    (JavaClassName.get_outer_class_name user_defined_class)
    ~f:(fun outer_class_name ->