Visual Studio Code – Different Dany compile outputs for witness clause when compiled using VSC and the standalone compiler
I have this simple code which uses witness clause to initialize a default value for the variable n. When compiled using the standalone version of the compiler I get the expected behavior which is the default witness value. type Pos…