Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
lives-ok and throws-ok both fail for the same code #2766
Both of these fail:
One of these to fail and the other succeed. I'm not entirely sure which behavior is desirable, but I'm pretty sure consistency is.