tests/sav/error_type_not_ok5_alt1.res

   1 alt/error_type_not_ok5_alt1.nit:23,8--11: Type Error: `Fail[E: nullable Object]` is a generic class.
   2 alt/error_type_not_ok5_alt1.nit:25,9--21: Type Error: `Fail[E: nullable Object]` is a generic class.
   3 alt/error_type_not_ok5_alt1.nit:28,14--17: Type Error: `Fail[E: nullable Object]` is a generic class.
   4 alt/error_type_not_ok5_alt1.nit:28,7--17: Type Error: expected `Char`, got `Bool`.
   5 alt/error_type_not_ok5_alt1.nit:29,11--14: Type Error: `Fail[E: nullable Object]` is a generic class.
   6 alt/error_type_not_ok5_alt1.nit:30,11--14: Type Error: `Fail[E: nullable Object]` is a generic class.
   7 alt/error_type_not_ok5_alt1.nit:31,13--16: Type Error: `Fail[E: nullable Object]` is a generic class.