@Nullable
  private static String getTypeName(@Nullable PyType type) {
    return type == null ? PyNames.UNKNOWN_TYPE : type.getName();
  }
@Nullable
  private static String getTypeName(@Nullable PyType type)