Detector Request: Implicit Typecast

[akshatmittal]

Describe the desired feature

It would be great to have a detector that checks for an implicit typecast in the code.

Example:

uint64 a = 12345;
uint64 b = 1e18;

uint256 x = a * b;

This would revert since a * b happens in the uint64 space then gets upcasted to uint256 but won't be detected either by Solidity or Slither.

[0xalpharush]

This is something that is on our radar #1688 and we started work on in #2079

[akshatmittal]

Thanks for the quick response @0xalpharush, looking forward to it!