master, last three releases all build but can't compile FStar.Common.fst* from emacs or command line

[briangmilnes]

/home/milnes/contrib/multicache/FStar/src/basic/FStar.Common.fst(54,27-57,27):

• Computed type Prims.int & 'b and effect FStar.Compiler.Effect.ALL is not compatible with the annotated type Prims.int & 'b and effect Tot

So we have the issue that this does compile during build but won't compile in a language server (using it's own fstar.exe). Nor will a command line compile from emacs work.

This prevents me from hacking the system.

I checked for a hung language server and so on.