<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Apr 29, 2016, at 1:23 PM, Haravikk via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="Content-Type" content="text/html charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">This is definitely something I’m hoping to see as well, alongside more intelligent handling of the is keyword, as currently Swift doesn’t handle the following either:</div><div class=""><br class=""></div><div class=""><font face="Monaco" class=""><span class="Apple-tab-span" style="white-space:pre"> </span>if foo is SomeType { /* foo could be safely used as SomeType here, but currently is not */ }</font></div><div class=""><br class=""></div><div class="">Hopefully someone more familiar can weigh in, as it seems like something I expect to be on the way but perhaps has been delayed in case any further changes to the type system were required?</div></div></div></blockquote></div><br class=""><div class="">This can be handled with the if-let syntax:</div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class=""><div class="">if let foo = foo as? SomeType { … }</div></blockquote>although I think your idea is more readable.<div class=""><br class=""></div><div class="">- Dave Sweeris</div></body></html>