tslab vs itypescript re: redefining variables and function

[MikeMcDonald83]

In this SO answer, you wrote,

Even if you could install itypescript kernel correctly, you may find the kernel is not very useful in your use case because it does not allow you to redefine a variable with the same name by design. If you execute function f() {}, you just get an error message like TS2393: Duplicate function implementation..

But in your kernel, when I have two functions that are named the same in different cells, I get the "duplicate function implementation" error. The same is true for scoped variables. Am I misunderstanding what you meant by that answer? Is the TS linter just confused about what's possible? Should I be able to redefine functions and scoped variables in your kernel? If not, how is that different than itypescript? Can you please explain what distinction you were making in that answer? Thanks!

[yunabe]

I get the "duplicate function implementation" error.

That's strange. This kernel is designed to overwrite the new functions too (See the screenshot below). If the kernel fails to overwrite identifiers defined in previous cells, that is a bug.

I'm not sure how "TS linter" is related in this context.