Fix #13831: spurious error in specific combination of namespace blocks and function declaration with phpdoc type annotation

Fix #13831: spurious error in specific combination of namespace blocks and function declaration with phpdoc type annotation #13835