When typechecking method calls on this and where this is implicit, se…

…t a valid location on the fabricated this.
mcoblenz · Sep 6, 2019 · ea5ea41 · ea5ea41
1 parent a6aa0e5
commit ea5ea41
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/edu/cmu/cs/obsidian/typecheck/Checker.scala b/src/main/scala/edu/cmu/cs/obsidian/typecheck/Checker.scala
@@ -791,7 +791,7 @@ class Checker(globalTable: SymbolTable, verbose: Boolean = false) {
                  }
 
              case LocalInvocation(name, _, params, args: Seq[Expression]) =>
-                 val (typ, con, _, _, newGenericParams, newArgs) = handleInvocation(context, name, This(), params, args)
+                 val (typ, con, _, _, newGenericParams, newArgs) = handleInvocation(context, name, This().setLoc(e), params, args)
                  //This may need correction.
                  (typ, con, LocalInvocation(name, newGenericParams, params, newArgs).setLoc(e))