Remove superflous checks for ANY type.

The idea is that ANY is passed as the requested return type when any
return type will do.  However the returned type must always be a
specific type (returning ANY would mean that any type can be returned
at runtime).  Since all comparisons removed by this commit check returned
types, it is correct to remove the checks.