From b287f234695d9013cb74c99dcac46a9b5b334f7c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 20 Jun 2024 16:46:29 +0200
Subject: `predicates` got merged into `generic_params`

---
 compiler/Interpreter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/Interpreter.ml')

diff --git a/compiler/Interpreter.ml b/compiler/Interpreter.ml
index b2e55841..7e292906 100644
--- a/compiler/Interpreter.ml
+++ b/compiler/Interpreter.ml
@@ -78,7 +78,7 @@ let symbolic_instantiate_fun_sig (span : Meta.span) (ctx : eval_ctx)
     | TraitItemDecl _ | TraitItemProvided _ -> Self
   in
   let generics =
-    let { regions; types; const_generics; trait_clauses } = sg.generics in
+    let { regions; types; const_generics; trait_clauses; _ } = sg.generics in
     let regions = List.map (fun _ -> RErased) regions in
     let types = List.map (fun (v : type_var) -> TVar v.index) types in
     let const_generics =
-- 
cgit v1.2.3