He/She got it from here:
https://devforum.roblox.com/t/luau-type-checking-release/878947
This is what’s known as a directive. It’s not interpreted as code by the compiler, but it gives instructions to the compiler. Similar to #pragma in gcc/clang-llvm.