Is it checking those types or just reporting then?

I’ve seen so many instances where yard doc has the wrong return type or misses a return type that I rarely trust it.

It doesn't do typechecks, no. You can use solargraph (https://github.com/castwide/solargraph) for that.