slightly better type inference for reverse(::NTuple) (#55394)

Before the return type of `reverse(::NTuple)` inferred as `Tuple`, now
it's more precise, inferring as `NTuple`.

This is a partial reland of #55124 and partial revert of #55375.

Fixes #54495

Author: nsajko

base/ntuple.jl

@@ -90,5 +90,5 @@ end
 function reverse(t::NTuple{N}) where N
     ntuple(Val{N}()) do i
         t[end+1-i]
-    end
+    end::typeof(t)
 end

test/tuple.jl

@@ -858,3 +858,6 @@ end
         end
     end
 end
+
+@test NTuple == Base.infer_return_type(reverse, Tuple{NTuple})
+@test Tuple{Vararg{Int}} == Base.infer_return_type(reverse, Tuple{Tuple{Vararg{Int}}})