On Saturday, 1 December 2018 at 20:41:53 UTC, Sebastiaan Koppe wrote:
Since the compiler can prove which branch is taken, the analyse has to assume both are.

*can't*

Reply via email to