type definition test case