Update GenericArgs

zhassan-aws · Aug 28, 2024 · f7bc4db · f7bc4db
1 parent 842fce3
commit f7bc4db
Showing 1 changed file with 15 additions and 15 deletions.
diff --git a/kani-compiler/src/codegen_aeneas_llbc/context/mod.rs b/kani-compiler/src/codegen_aeneas_llbc/context/mod.rs
@@ -443,10 +443,10 @@ impl<'a, 'tcx> FunctionCtx<'a, 'tcx> {
             RigidTy::Str => CharonTy::Adt(
                 TypeId::Assumed(AssumedTy::Str),
                 GenericArgs {
-                    regions: Vec::new(),
-                    types: Vec::new(),
-                    const_generics: Vec::new(),
-                    trait_refs: Vec::new(),
+                    regions: Vector::new(),
+                    types: Vector::new(),
+                    const_generics: Vector::new(),
+                    trait_refs: Vector::new(),
                 },
             ),
             RigidTy::Ref(_region, ty, mutability) => CharonTy::Ref(
@@ -460,10 +460,10 @@ impl<'a, 'tcx> FunctionCtx<'a, 'tcx> {
             RigidTy::Tuple(ty) => {
                 let types = ty.iter().map(|ty| self.translate_ty(*ty)).collect();
                 let generic_args = GenericArgs {
-                    regions: Vec::new(),
+                    regions: Vector::new(),
                     types,
-                    const_generics: Vec::new(),
-                    trait_refs: Vec::new(),
+                    const_generics: Vector::new(),
+                    trait_refs: Vector::new(),
                 };
                 CharonTy::Adt(TypeId::Tuple, generic_args)
             }
@@ -559,10 +559,10 @@ impl<'a, 'tcx> FunctionCtx<'a, 'tcx> {
                 let fn_ptr = FnPtr {
                     func: fn_ptr,
                     generics: GenericArgs {
-                        regions: Vec::new(),
-                        types: Vec::new(),
-                        const_generics: Vec::new(),
-                        trait_refs: Vec::new(),
+                        regions: Vector::new(),
+                        types: Vector::new(),
+                        const_generics: Vector::new(),
+                        trait_refs: Vector::new(),
                     },
                 };
                 let func = FnOperand::Regular(fn_ptr);
@@ -658,10 +658,10 @@ impl<'a, 'tcx> FunctionCtx<'a, 'tcx> {
                                 FunDeclId::from_usize(def.def_id().to_index()),
                             )),
                             generics: GenericArgs {
-                                regions: Vec::new(),
-                                types: Vec::new(),
-                                const_generics: Vec::new(),
-                                trait_refs: Vec::new(),
+                                regions: Vector::new(),
+                                types: Vector::new(),
+                                const_generics: Vector::new(),
+                                trait_refs: Vector::new(),
                             },
                         };
                         RawConstantExpr::FnPtr(fn_ptr)