-alt/base_notnull_1alt1_alt1.nit:23,7: Type error: expected Object, got nullable E: nullable Object
-alt/base_notnull_1alt1_alt1.nit:24,7: Type error: expected Object, got nullable E: nullable Object
-alt/base_notnull_1alt1_alt1.nit:27,12: Type error: expected Object, got null
-alt/base_notnull_1alt1_alt1.nit:30,12: Type error: expected Object, got null
-alt/base_notnull_1alt1_alt1.nit:35,7--17: Type error: expected Object, got nullable E: nullable Object
-alt/base_notnull_1alt1_alt1.nit:36,7--17: Type error: expected Object, got nullable E: nullable Object
+alt/base_notnull_1alt1_alt1.nit:23,7: Type Error: expected `Object`, got `nullable E: nullable Object`.
+alt/base_notnull_1alt1_alt1.nit:24,7: Type Error: expected `Object`, got `nullable E: nullable Object`.
+alt/base_notnull_1alt1_alt1.nit:27,12: Type Error: expected `Object`, got `null`.
+alt/base_notnull_1alt1_alt1.nit:30,12: Type Error: expected `Object`, got `null`.
+alt/base_notnull_1alt1_alt1.nit:35,7--17: Type Error: expected `Object`, got `nullable E: nullable Object`.
+alt/base_notnull_1alt1_alt1.nit:36,7--17: Type Error: expected `Object`, got `nullable E: nullable Object`.