<p dir="auto">As title says, should at least show up in:</p>
<ol dir="auto">
<li><a href="https://docs.julialang.org/en/v1.6-dev/manual/control-flow/#man-loops" rel="nofollow">https://docs.julialang.org/en/v1.6-dev/manual/control-flow/#man-loops</a></li>
<li><code class="notranslate">?outer</code></li>
</ol>
<div class="highlight highlight-source-julia notranslate position-relative overflow-auto" dir="auto" data-snippet-clipboard-copy-content="julia&gt; function f(::f) where f
       f
       end
f (generic function with 0 methods)

julia&gt; function g(::f) where f
       f
       end
g (generic function with 1 method)"><pre class="notranslate">julia<span class="pl-k">&gt;</span> <span class="pl-k">function</span> <span class="pl-en">f</span>(<span class="pl-k">::</span><span class="pl-c1">f</span>) <span class="pl-k">where</span> f
       f
       <span class="pl-k">end</span>
f (generic <span class="pl-k">function</span> with <span class="pl-c1">0</span> methods)

julia<span class="pl-k">&gt;</span> <span class="pl-k">function</span> <span class="pl-en">g</span>(<span class="pl-k">::</span><span class="pl-c1">f</span>) <span class="pl-k">where</span> f
       f
       <span class="pl-k">end</span>
g (generic <span class="pl-k">function</span> with <span class="pl-c1">1</span> method)</pre></div>
<p dir="auto">The first definition fails to work while the second does. The first one has no methods.<br>
<code class="notranslate">Version 1.5.1 (2020-08-25)</code></p>