testing type assertion