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