You can ignore this post if the bug caused issues that affected something outside of just the typeof function, but:
What’s the reasoning behind turning it off due to an obscure bug? newproxy isn’t commonly used in ROBLOX, so only a very narrow margin of cases would have actually been affected by this, if any at all (not counting people who were doing it to test).
What’s the difference from using a piece of code like while true do end compared to this? If they both have the same result (crashing the client or server) and they are both either programmer error or something that would probably never realistically happen, then I don’t see the benefit of turning this off.
A lot of things have bugs when they are released but I don’t think it’s really a good idea to just remove them after announcing them due to an obscure bug. I feel that in this case by removing the function you have probably broken or affected more code than would have been affected if you had just left it in its current state then hotfixed it a few days later.