You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Right now the README recommends using -fdefer-type-errors, which is required for should-not-typecheck to work.
-fdefer-type-errors turns type errors into compile-time warnings. However, the user generally doesn't want to see these compile-time warnings. The flag -Wno-deferred-type-errors should also be used which silences these compile-time warnings.
The README should be updated to suggest using -Wno-deferred-type-errors in addition to -fdefer-type-errors.
The text was updated successfully, but these errors were encountered:
Right now the README recommends using
-fdefer-type-errors, which is required forshould-not-typecheckto work.-fdefer-type-errorsturns type errors into compile-time warnings. However, the user generally doesn't want to see these compile-time warnings. The flag-Wno-deferred-type-errorsshould also be used which silences these compile-time warnings.The README should be updated to suggest using
-Wno-deferred-type-errorsin addition to-fdefer-type-errors.The text was updated successfully, but these errors were encountered: