Fix types of the result variables you start with.

Getting the type of the checked variable wrong is confusing, sync it up
with the proposed assert and solution.