key type assert