fix oc lowering with return type annotations

fixes #44723

src/julia-syntax.scm

@@ -4119,7 +4119,7 @@ f(x) = yt(x)
  (cons (car e)
  (map-cl-convert (cdr e) fname lam namemap defined toplevel interp opaq globals))))))))
 
-(define (closure-convert e) (cl-convert e #f #f #f #f #f #f #f))
+(define (closure-convert e) (cl-convert e #f #f (table) (table) #f #f #f))
 
 ;; pass 5: convert to linear IR
 
@@ -4220,16 +4220,18 @@ f(x) = yt(x)
  `(pop_exception ,restore-token))))
  (define (emit-return x)
  (define (actually-return x)
- (let* ((x (if rett
- (compile (convert-for-type-decl x rett) '() #t #f)
- x))
- (tmp (if ((if (null? catch-token-stack) valid-ir-return? simple-atom?) x)
+ (let* ((tmp (if ((if (null? catch-token-stack) valid-ir-return? simple-atom?) x)
  #f
- (make-ssavalue))))
- (if tmp (emit `(= ,tmp ,x)))
+ (make-ssavalue)))
+ (x (if tmp
+ (begin (emit `(= ,tmp ,x)) tmp)
+ x))
+ (x (if rett
+ (compile (convert-for-type-decl x rett) '() #t #f)
+ x)))
  (let ((pexc (pop-exc-expr catch-token-stack '())))
  (if pexc (emit pexc)))
- (emit `(return ,(or tmp x)))))
+ (emit `(return ,x))))
  (if x
  (if (> handler-level 0)
  (let ((tmp (cond ((and (simple-atom? x) (or (not (ssavalue? x)) (not finally-handler))) #f)

test/syntax.jl

@@ -3276,3 +3276,7 @@ end
  @test m.Foo.bar === 1
  @test Core.get_binding_type(m.Foo, :bar) == Any
 end
+
+# issue 44723
+demo44723(thunk)::Any = Base.Experimental.@opaque () -> true ? 1 : 2
+@test demo44723(7)() == 1