úήŒ Safe-InferredÍTakes one argument, an expression that should not typecheck. It will fail the test if the expression does typecheck. Requires Deferred Type Errors to be enabled for the file it is called in. See the  Ehttps://github.com/CRogers/should-not-typecheck#should-not-typecheck-README$ for examples and more infomation.should-not-typecheck-2.0Test.ShouldNotTypecheckshouldNotTypecheckisSubsequenceOf