diff options
| author | Son Ho | 2022-02-08 14:03:31 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-08 14:03:31 +0100 |
| commit | b583d18a8336b137b445cc01b713767f354168f4 (patch) | |
| tree | 52b4e64f8316b4ba6d85cfbf5654bc526c92af46 | |
| parent | c80141a9874345b71ee5e6c37947e1f0825698a7 (diff) | |
Make a minor update in InterpreterExpansion
| -rw-r--r-- | src/InterpreterExpansion.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/InterpreterExpansion.ml b/src/InterpreterExpansion.ml index 625c63ef..4ccd2ec8 100644 --- a/src/InterpreterExpansion.ml +++ b/src/InterpreterExpansion.ml @@ -662,6 +662,9 @@ let greedy_expand_symbolics_with_borrows (config : C.config) : cm_fun = | T.Adt ((Tuple | Assumed Box), _, _) | T.Ref (_, _, _) -> (* Ok *) expand_symbolic_value_no_branching config sv None + | T.Adt (Assumed (Vec | Option), _, _) -> + (* We can't expand those *) + failwith "Attempted to greedily expand a Vec or an Option " | T.Array _ -> raise Errors.Unimplemented | T.Slice _ -> failwith "Can't expand symbolic slices" | T.TypeVar _ | Bool | Char | Never | Integer _ | Str -> |