alt/base_as_notnull_alt4.nit:54,6--20: Type error: expected B, got A