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 i

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. =)