Mismatched variable type

Last modified: 03 December 2024

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