3 ms·
why is it a head scratcher? the error message seems clear?
by nh23423fefe 3y ago
why is it a head scratcher? the error message seems clear?
- waynecochran 3y agoThe head scratcher is that as soon as the compiler can't produce the proof (even though the borrow still may be unreachable) an error is generated. The programmer will be wondering why a new error cropped up when they may not have been doing anything that was semantically any different.