Consider changing gpu-supported-limits to a record.
This would allow us to use gpu-supported-limits in gpu-device-descriptor.limits and remove record-option-gpu-size64, as record-option-gpu-size64 feels a bit unnatural.
webgpu.h also seems to be using the same WGPULimits for WGPUDeviceDescriptor.WGPULimits and wgpuAdapterGetLimits.
webgpu.h makes each field optional through special UNDEFINED values.
I don't think we need to make the fields optional in our case, they can just default to the default values listed at https://www.w3.org/TR/webgpu/#supported-limits.
Consider changing
gpu-supported-limitsto arecord.This would allow us to use
gpu-supported-limitsingpu-device-descriptor.limitsand removerecord-option-gpu-size64, asrecord-option-gpu-size64feels a bit unnatural.webgpu.halso seems to be using the sameWGPULimitsforWGPUDeviceDescriptor.WGPULimitsandwgpuAdapterGetLimits.webgpu.hmakes each field optional through specialUNDEFINEDvalues.I don't think we need to make the fields optional in our case, they can just default to the default values listed at https://www.w3.org/TR/webgpu/#supported-limits.