diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml index d649d550d..e06d38124 100644 --- a/infer/src/nullsafe/modelTables.ml +++ b/infer/src/nullsafe/modelTables.ml @@ -841,18 +841,21 @@ let field_nullability = ; ("java.lang.Boolean.FALSE", o) ; ("java.lang.Boolean.TRUE", o) ; ("java.lang.Boolean.TYPE", o) - ; ("java.lang.Integer.TYPE", o) - ; ("java.lang.Void.TYPE", o) + ; ("java.lang.Byte.TYPE", o) + ; ("java.lang.Double.TYPE", o) ; ("java.lang.Float.TYPE", o) + ; ("java.lang.Integer.TYPE", o) ; ("java.lang.Long.TYPE", o) ; ("java.lang.Short.TYPE", o) - ; ("java.lang.Double.TYPE", o) - ; ("java.lang.Byte.TYPE", o) + ; ("java.lang.System.err", o) ; ("java.lang.System.in", o) ; ("java.lang.System.out", o) - ; ("java.lang.System.err", o) + ; ("java.lang.Void.TYPE", o) ; ("java.nio.ByteOrder.BIG_ENDIAN", o) ; ("java.nio.ByteOrder.LITTLE_ENDIAN", o) + ; ("java.nio.channels.FileChannel$MapMode.READ_ONLY", o) + ; ("java.nio.channels.FileChannel$MapMode.READ_WRITE", o) + ; ("java.nio.channels.FileChannel$MapMode.PRIVATE", o) ; ("java.nio.charset.StandardCharsets.ISO_8859_1", o) ; ("java.nio.charset.StandardCharsets.US_ASCII", o) ; ("java.nio.charset.StandardCharsets.UTF_16", o)