<p dir="auto">gc successfully compiles the following program:</p>
<div class="highlight highlight-source-go notranslate position-relative overflow-auto" dir="auto" data-snippet-clipboard-copy-content="package a
func f() int {
    for {};
    ;
}"><pre class="notranslate"><span class="pl-k">package</span> a
<span class="pl-k">func</span> <span class="pl-en">f</span>() <span class="pl-smi">int</span> {
    <span class="pl-k">for</span> {};
    ;
}</pre></div>
<p dir="auto">while gotype says:</p>
<div class="snippet-clipboard-content notranslate position-relative overflow-auto" data-snippet-clipboard-copy-content="go.go:5: missing return at end of function"><pre class="notranslate"><code class="notranslate">go.go:5: missing return at end of function
</code></pre></div>
<p dir="auto">go version devel +9b04852 Sat Jul 11 00:08:50 2015 +0000 linux/amd64</p>
<p dir="auto">Per a (pending) spec change, the following code should be permitted:</p>
<div class="snippet-clipboard-content notranslate position-relative overflow-auto" data-snippet-clipboard-copy-content="package p
func f() int {
        return 3
        ; // &lt;&lt;&lt; trailing empty statement
}"><pre class="notranslate"><code class="notranslate">package p
func f() int {
        return 3
        ; // &lt;&lt;&lt; trailing empty statement
}
</code></pre></div>
<p dir="auto">See <a class="issue-link js-issue-link" data-error-text="Failed to load title" data-id="135056151" data-permission-text="Title is private" data-url="https://github.com/golang/go/issues/14422" data-hovercard-type="issue" data-hovercard-url="/golang/go/issues/14422/hovercard" href="https://github.com/golang/go/issues/14422">#14422</a> for details.</p>