lazy overflow checking

Author: ranjitjhala

.github/workflows/flux.yml

@@ -9,7 +9,7 @@ on:
 
 env:
   FIXPOINT_VERSION: "556104ba5508891c357b0bdf819ce706e93d9349"
-  FLUX_VERSION: "eb448b89b2caf3bb9d3e1ee41d1087d4651934c6"
+  FLUX_VERSION: "7ef3cb4175bca47f92d5144c6287d266849d1550"
 
 jobs:
   check-flux-on-core:

library/core/Cargo.toml

@@ -47,8 +47,9 @@ check-cfg = [
 
 [package.metadata.flux]
 enabled = true
+check_overflow = "lazy"
 include = [ "src/ascii*.rs",
-            "src/pat.rs", 
+            "src/pat.rs",
             "src/bstr/*.rs",
             "src/hash/*.rs",
             "src/time.rs",

library/core/src/flux_info.rs

@@ -54,4 +54,4 @@
         fn fmt(self: &Self, f: &mut fmt::Formatter) -> fmt::Result;
     }
 }]
-const _: () = {};
+const _: () = ();