synth-expr: synth_subtype_conversion: add more assertions.

1 files changed, 7 insertions, 6 deletions

diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb
index 953c6e0e9..a4dd36ea7 100644
--- a/src/synth/synth-expr.adb
+++ b/src/synth/synth-expr.adb
@@ -822,6 +822,7 @@ package body Synth.Expr is
                              or else Vtype.Kind = Type_Slice);
             return Vt;
          when Type_Record =>
+            pragma Assert (Vtype.Kind = Type_Record);
             --  TODO: handle elements.
             return Vt;
          when Type_Unbounded_Record =>
@@ -829,12 +830,12 @@ package body Synth.Expr is
             return Vt;
          when Type_Access =>
             return Vt;
-         when Type_File =>
-            pragma Assert (Vtype = Dtype);
-            return Vt;
-         when Type_Protected =>
-            pragma Assert (Vtype = Dtype);
-            return Vt;
+         when Type_File
+            | Type_Protected =>
+            --  No conversion expected.
+            --  As the subtype is identical, it is already handled by the
+            --  above check.
+            raise Internal_Error;
       end case;
    end Synth_Subtype_Conversion;