tests/sav/error_type_not_ok4_alt1.res

   1 alt/error_type_not_ok4_alt1.nit:21,10--13: Type Error: `Fail[E: nullable Object]` is a generic class.
   2 alt/error_type_not_ok4_alt1.nit:25,16--19: Type Error: `Fail[E: nullable Object]` is a generic class.
   3 alt/error_type_not_ok4_alt1.nit:29,9--12: Type Error: `Fail[E: nullable Object]` is a generic class.
   4 alt/error_type_not_ok4_alt1.nit:30,12--15: Type Error: `Fail[E: nullable Object]` is a generic class.
   5 alt/error_type_not_ok4_alt1.nit:31,18--21: Type Error: `Fail[E: nullable Object]` is a generic class.
   6 alt/error_type_not_ok4_alt1.nit:32,10--13: Type Error: `Fail[E: nullable Object]` is a generic class.
   7 alt/error_type_not_ok4_alt1.nit:33,16--19: Type Error: `Fail[E: nullable Object]` is a generic class.