Start adding more assumed types and functions

1 files changed, 8 insertions, 2 deletions

diff --git a/src/Substitute.ml b/src/Substitute.ml
index 01ce3a4e..62822785 100644
--- a/src/Substitute.ml
+++ b/src/Substitute.ml
@@ -168,10 +168,16 @@ let ctx_adt_value_get_instantiated_field_rtypes (ctx : C.eval_ctx)
       type_params
   | T.Assumed aty -> (
       match aty with
-      | T.Box ->
+      | T.Box | T.Vec ->
           assert (List.length region_params = 0);
           assert (List.length type_params = 1);
-          type_params)
+          type_params
+      | T.Option ->
+          assert (List.length region_params = 0);
+          assert (List.length type_params = 1);
+          if adt.V.variant_id = Some T.option_some_id then type_params
+          else if adt.V.variant_id = Some T.option_none_id then []
+          else failwith "Unrechable")
 
 (** Instantiate the type variables in an ADT definition, and return the list
     of types of the fields for the chosen variant *)