diff --git a/flake.lock b/flake.lock
index 0a477c63..90478b96 100644
--- a/flake.lock
+++ b/flake.lock
@@ -9,11 +9,11 @@
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1750428484,
-        "narHash": "sha256-O4A8IQN8mJCfGFVXa3ULyLNPZIdEeCTV4gha334s2mU=",
+        "lastModified": 1751377419,
+        "narHash": "sha256-Sm5XQdcIoIDEIeb6ClAmIsPf01m7j5nAcvl03IbxbD8=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "03f6136bea6b2b0f1d6701b0569cc49611d9de4a",
+        "rev": "17609ac76fb83a5c3cb944fa3ff6121c085c3071",
         "type": "github"
       },
       "original": {
@@ -184,17 +184,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1748399823,
-        "narHash": "sha256-kahD8D5hOXOsGbNdoLLnqCL887cjHkx98Izc37nDjlA=",
+        "lastModified": 1751338093,
+        "narHash": "sha256-/yd9nPcTfUZPFtwjRbdB5yGLdt3LTPqz6Ja63Joiahs=",
         "owner": "oxalica",
         "repo": "rust-overlay",
-        "rev": "d68a69dc71bc19beb3479800392112c2f6218159",
+        "rev": "6cfb7821732dac2d3e2dea857a5613d3b856c20c",
         "type": "github"
       },
       "original": {
         "owner": "oxalica",
         "repo": "rust-overlay",
-        "rev": "d68a69dc71bc19beb3479800392112c2f6218159",
+        "rev": "6cfb7821732dac2d3e2dea857a5613d3b856c20c",
         "type": "github"
       }
     },
diff --git a/lib/AstOfLlbc.ml b/lib/AstOfLlbc.ml
index 69679435..0936f43a 100644
--- a/lib/AstOfLlbc.ml
+++ b/lib/AstOfLlbc.ml
@@ -977,6 +977,8 @@ let blocklisted_trait_decls =
     "core::cmp::PartialEq";
     (* These don't have methods *)
     "core::marker::Sized";
+    "core::marker::MetaSized";
+    "core::marker::PointeeSized";
     "core::marker::Send";
     "core::marker::Sync";
     "core::marker::Tuple";