Mismatched constant type

Last modified: 03 December 2024

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