Void has a restricted use as the data type for tagged union fields and for service method return types.