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