alt/base_as_notnull_alt2.nit:51,6--20: Type error: expected B, got A