There was a certain condition (~ 10 years ago) where if the source file didn't pass the type checker it would be deleted.

Bryan quickly assured everyone that it had since been resolved. =)

agreed. heart-broken when i realized the next slide wasn't a continuation of that one.