Return type annotation with where blocks fail to compile

[ghost]

Description

Return type annotation with where blocks fail to compile

fib(x::T)::T where T<:Integer = 
    (x <= 1) ? 
        one(x) :
        fib(x - 2) + fib(x - 1)

However, this works with the function-end syntax

function fib(x::T)::T where T<:Integer
    (x <= 1) ? 
        one(x) :
        fib(x - 2) + fib(x - 1)
end

The error caused in the former case is

ERROR: LoadError: UndefVarError: T not defined

Version Info

Julia Version 1.8.0
Commit 5544a0fab7 (2022-08-17 13:38 UTC)
Platform Info:
  OS: Linux (x86_64-redhat-linux)
  CPU: 12 × AMD Ryzen 5 5500U with Radeon Graphics
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-13.0.1 (ORCJIT, znver2)
  Threads: 1 on 12 virtual cores

How I installed Julia

My OS package manager (dnf)

[sgaure]

There seems to be some ambiguity in the syntax, try some parentheses:

(fib(x::T)::T) where {T<:Integer} = 
           (x <= 1) ? 
               one(x) :
               fib(x - 2) + fib(x - 1)

[KristofferC]

Dup of #21847 I think.

[ghost]

It does seem to be a dupe of that issue, closing, thanks!