It ends up being pretty useful. The number of times it catches problems is pretty high. Also, the more you annotate, the greater the efficacy.

Is it inferior to a full static route system? Yes. Are there benefits to dynamic type systems? Yes. Success typing is a way to get a bit a both.