Re: widl: duplicate type in case of argument with range attribute