Reply to 1190933040463335424

@daberni @gr2m @typescript Right, it's the same.

Also note that there is a big difference between compile time type checking and runtime type checking!