From aac44c1e303f66ee41cc4f39ff45024a007cf6ef Mon Sep 17 00:00:00 2001 From: Son Ho Date: Wed, 27 Nov 2024 10:10:10 +0000 Subject: [PATCH] Remove a now useless assert in InterpreterStatements.ml --- src/interp/InterpreterStatements.ml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/interp/InterpreterStatements.ml b/src/interp/InterpreterStatements.ml index 01ad66b5..5ac18af5 100644 --- a/src/interp/InterpreterStatements.ml +++ b/src/interp/InterpreterStatements.ml @@ -1372,12 +1372,6 @@ and eval_transparent_function_call_symbolic (config : config) (span : Meta.span) not (ty_has_nested_borrows (Some span) ctx.type_ctx.type_infos ty)) (inst_sg.output :: inst_sg.inputs)) span "Nested borrows are not supported yet"; - cassert __FILE__ __LINE__ - (List.for_all - (fun ty -> - not (ty_has_adt_with_borrows (Some span) ctx.type_ctx.type_infos ty)) - (inst_sg.output :: inst_sg.inputs)) - span "ADTs containing borrows are not supported yet"; (* Evaluate the function call *) eval_function_call_symbolic_from_inst_sig config def.item_meta.span func def.signature regions_hierarchy inst_sg generics trait_method_generics