add type check test case