<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"><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=""><div class=""><br class=""><blockquote type="cite" class=""><div class=""><div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">here's a short example that currently compiles without any warnings:</div><div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><br class=""></div><div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><div class="">func thisFuncHasNoWarnings(a: Int) {</div><div class="">&nbsp; &nbsp; a</div><div class="">&nbsp; &nbsp; "b"</div><div class="">&nbsp; &nbsp; "c" as Character</div><div class="">&nbsp; &nbsp; 1.0</div><div class="">&nbsp; &nbsp; [2.0, 3.0]</div><div class="">&nbsp; &nbsp; ["four", 5, 6.7] as [Any]</div><div class="">&nbsp; &nbsp; "Is this"; a; "problem?"</div><div class="">}</div></div></div></blockquote></div><br class=""><div class="">And what would be the benefit of those warnings?</div><div class="">How about</div><div class="">for i in 1…1000000 {}</div><div class="">Equally stupid - should we have a warning for this as well?</div><div class=""><br class=""></div><div class="">Or</div><div class="">if (answer == true) {</div><div class="">…</div><div class="">} else if (answer == false) {</div><div class="">…</div><div class="">}</div><div class="">(really have seen something similar in the wild - I just don't remember if there has been an else clause as well ;-)</div><div class=""><br class=""></div><div class="">It is fine to aid inexperienced coders with concise warnings, but for me, the proposal is merely a burden for those who know what they are doing.</div><div class="">I wouldn't object against having the analyzer generate such warnings, though.</div></body></html>