JS: static analysis reads the return type.