arr type checking tests