Test file for type checking