Check how type inferrence handles code value usable in annotations

[hurricup]

got idea from #2348 hook returns a coderef and we can't declare it right now.