make sure the type assert works