Merge: Contract: Change mpropdef driving
[nit.git] / tests / sav / base_virtual_type_check_alt2.res
1 alt/base_virtual_type_check_alt2.nit:68,10--14: Type Error: expected `K`, got `J`.