base_types_formal_and_virtual2.nit:67,3--18: Warning: Expression is a B[H], expected W.