On Wed, 22 Sep 2021 18:25:53 GMT, Andrey Turbanov
wrote:
> There are several redundant casts, caused by fact, that related declared
> variable has too weak type.
> We can change declaration type and remove redundant cast. It makes code more
> clear and easier to read.
>
> Found by IntelliJ ID
There are several redundant casts, caused by fact, that related declared
variable has too weak type.
We can change declaration type and remove redundant cast. It makes code more
clear and easier to read.
Found by IntelliJ IDEA inspection 'Too weak variable type leads to unnecessary
cast'
-
On Wed, 6 Oct 2021 22:25:08 GMT, Jonathan Gibbons wrote:
> I'm not sure I agree that we are primarily out to sure that 1-1
> correspondence between the doc sources ... that would not detect an option
> that was erroneously missing from both doc sources. IMO, we are primarily out
> to ensure th