tests for other type problems