$ 0 0 @khelwood Of course it would not prevent runtime exceptions in all cases but it will catch more bugs in compile time.