unit test our type errors