Fix a minor issue

AeneasVerif · Nov 22, 2023 · ace7c87 · ace7c87
1 parent 5fa5de9
commit ace7c87
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/charon-ml/src/NameMatcher.ml b/charon-ml/src/NameMatcher.ml
@@ -410,9 +410,7 @@ and path_elem_with_generic_args_to_pattern (ctx : ctx) (c : to_pat_config)
       match generics with
       | None -> PIdent (s, [])
       | Some args -> PIdent (s, args))
-  | PeImpl impl ->
-      assert (generics = None);
-      impl_elem_to_pattern ctx c impl
+  | PeImpl impl -> impl_elem_to_pattern ctx c impl
 
 and impl_elem_to_pattern (ctx : ctx) (c : to_pat_config) (impl : T.impl_elem) :
     pattern_elem =