graydon/rust — Issue #1266: Avoid checking control paths that will never be reached
Author: jdm
Created: 2011-12-07 03:10:40+00:00
State: open
Labels: middle, unassigned

When a loop will never terminate (ie. is conditioned on a value that is statically guaranteed to be true and the body contains no break statements), it would be nice not to throw errors about control paths following the loop that do not return a value.