path: root/tests/pracownia2/error/012_comp_le_intA_boolA.xi

test(a:int[], b:bool[]):bool
{
  return a < b
}
//@PRACOWNIA
//@stop_after typechecker
//@should_not_typecheck