Inspectopedia
 
2024.3

Mismatched global variable type

Warning
New
Last modified: 03 December 2024

Reports global variable assignments whose inferred types don't match the global variable's expected type. The expected constant type is taken from the RBS type signature.