-alt/error_type_not_ok3_alt1.nit:20,12--15: Type error: 'Fail' is a generic class.
-alt/error_type_not_ok3_alt1.nit:23,18--21: Type error: 'Fail' is a generic class.
+alt/error_type_not_ok3_alt1.nit:20,12--15: Type Error: `Fail[E: nullable Object]` is a generic class.
+alt/error_type_not_ok3_alt1.nit:23,18--21: Type Error: `Fail[E: nullable Object]` is a generic class.