alt/base_as_notnull_alt1.nit:50,6--18: Type error: expected B, got A