description: Include @void_type in @value_type
compatibility: full