Reports default method and block parameter assignments whose inferred types don't match the parameter's expected type. The expected parameter type is taken from the RBS type signature.