warnings from merge

utwente-fmt · Oct 12, 2023 · d422eaf · d422eaf
1 parent a5d4e8f
commit d422eaf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/colhelper/ColHelperDeserialize.scala b/src/colhelper/ColHelperDeserialize.scala
@@ -82,6 +82,7 @@ case class ColHelperDeserialize(info: ColDescription, proto: ColProto) extends C
         case ser.OriginContent.V.Context(ser.Context(str, _)) => Context(str)
         case ser.OriginContent.V.InlineContext(ser.InlineContext(str, _)) => InlineContext(str)
         case ser.OriginContent.V.ShortPosition(ser.ShortPosition(str, _)) => ShortPosition(str)
+        case ser.OriginContent.V.Empty => ???
       }
 
       def deserializeProgram[G](program: ser.Program, fileName:String="<unknown>"): Program[G] =

diff --git a/src/rewrite/vct/rewrite/InlineApplicables.scala b/src/rewrite/vct/rewrite/InlineApplicables.scala
@@ -77,7 +77,7 @@ case object InlineApplicables extends RewriterBuilder {
     )
   )
 
-  private def InlineLetThisOrigin(): Origin = Origin(
+  private def InlineLetThisOrigin: Origin = Origin(
     Seq(
       PreferredName("self"),
       Context("[At let binding for `this`]"),