So imagine a case where both branches are different. Or where the conditional is deep inside a function before the return value finally gets to the assignment. If having a conditional return type () makes sense in some cases and not others, then you can't trivially warn about it.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds