CSPM.TypeChecker: reset the warnings before saving the state, otherwise the warnings are not actually removed.
CSPM.TypeChecker: reset the warnings before saving the state, otherwise
the warnings are not actually removed.
sashabu/libcspm