Fixing syntax of return-type hints with collection casts, checking that called methods with market as void don't receive any value