From a033abed7cdf735ec47dde8ad5f1f819a9b0eaab Mon Sep 17 00:00:00 2001
From: pk19604014 <95385881+pk19604014@users.noreply.github.com>
Date: Mon, 6 Jun 2022 16:13:05 -0400
Subject: [PATCH] Cleanup chmod +x on update_checks.py + update a couple
 testdata entries with update_checks.py (#1313)

---
 explorer/testdata/addr/fail-method-let.carbon     | 2 +-
 explorer/testdata/addr/fail-method-me-type.carbon | 2 +-
 explorer/update_checks.py                         | 0
 3 files changed, 2 insertions(+), 2 deletions(-)
 mode change 100644 => 100755 explorer/update_checks.py

diff --git a/explorer/testdata/addr/fail-method-let.carbon b/explorer/testdata/addr/fail-method-let.carbon
index 446850436725..5d6866d9f651 100644
--- a/explorer/testdata/addr/fail-method-let.carbon
+++ b/explorer/testdata/addr/fail-method-let.carbon
@@ -7,7 +7,6 @@
 // RUN: %{not} %{explorer} --parser_debug --trace_file=- %s 2>&1 | \
 // RUN:   %{FileCheck} --match-full-lines --allow-unused-prefixes %s
 // AUTOUPDATE: %{explorer} %s
-// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/addr/fail-method-let.carbon:32: method GetSetX requires its receiver to be an lvalue
 
 package ExplorerTest api;
 
@@ -29,6 +28,7 @@ class Point {
 
 fn Main() -> i32 {
   let p: Point = Point.Origin();
+  // CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/addr/fail-method-let.carbon:[[@LINE+1]]: method GetSetX requires its receiver to be an lvalue
   var x: auto = p.GetSetX(42);
   if (p.x == 42) {
     return x;
diff --git a/explorer/testdata/addr/fail-method-me-type.carbon b/explorer/testdata/addr/fail-method-me-type.carbon
index db906d2c2d54..f0e3b095c069 100644
--- a/explorer/testdata/addr/fail-method-me-type.carbon
+++ b/explorer/testdata/addr/fail-method-me-type.carbon
@@ -7,7 +7,6 @@
 // RUN: %{not} %{explorer} --parser_debug --trace_file=- %s 2>&1 | \
 // RUN:   %{FileCheck} --match-full-lines --allow-unused-prefixes %s
 // AUTOUPDATE: %{explorer} %s
-// CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/addr/fail-method-me-type.carbon:36: type error in method access: 'class Point' is not implicitly convertible to 'class Shape'
 
 package ExplorerTest api;
 
@@ -33,6 +32,7 @@ class Point {
 
 fn Main() -> i32 {
   var p: Point = Point.Origin();
+  // CHECK: COMPILATION ERROR: {{.*}}/explorer/testdata/addr/fail-method-me-type.carbon:[[@LINE+1]]: type error in method access: 'class Point' is not implicitly convertible to 'class Shape'
   var x: auto = p.GetSetX(42);
   if (p.x == 42) {
     return x;
diff --git a/explorer/update_checks.py b/explorer/update_checks.py
old mode 100644
new mode 100755