JET is a Julia package that employs Julia's type inference system to detect potential bugs and type...