Kyle HughesUse the autoresearch pattern to attempt to resolve all incorrect states to be unrepresentable in the type system.
Metrics:
- Number of guards with empty fallthroughs.
- Number of assertion failures.
- Number of fatal errors.
Joe Fabisevich 
@kyle Have you done this or are you thinking out loud? If you have I’d be very curious to learn more about your approach and how it went.
@mergesort Just thinking out loud. It’s probably not actually worth the ceremony, but I already have a loop like this as part of my workflow that works very well. Might be interesting on a brownfield project.