widl: Check for user types when calculating buffer size.