more type check tests