I think it is rather a work for linter's and static type checking. Runtime check adds an overhead, and it is expected that in correct program it will always pass. You need the check only while write the program, it may help in debugging. But once it has been debugged and tested, the check becomes a waste of CPU time.

Since this issue was not touched for 8 years and there is a large progress in static code analysis, I suggest to close it.