1 files changed, 3 insertions, 0 deletions
diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb
index 98019b6d7..963532044 100644
--- a/src/synth/synth-expr.adb
+++ b/src/synth/synth-expr.adb
@@ -817,6 +817,9 @@ package body Synth.Expr is
          when Type_File =>
             pragma Assert (Vtype = Dtype);
             return Vt;
+         when Type_Protected =>
+            pragma Assert (Vtype = Dtype);
+            return Vt;
       end case;
    end Synth_Subtype_Conversion;