alt/base_isa_cast4_alt5.nit:87,6--10: Type error: expected B, got A