In the following code snippet
We say the return type of "abc" is "void". The type inferencer sees the sdoc comment and does not infer the return statement. Since there is no @return tag in the sdoc comment, the return type becomes "void". In this case, if a function has return statements, we should infer their types, using any @param type hints as appropriate.