typo

Author: danakj

toolchain/check/testdata/facet/access.carbon

@@ -210,11 +210,14 @@ fn F(U:! I where .X = .Self) {
   // member lookup, but can't call methods without `self`. See the
   // `compound_access_through_call_with_self_param.carbon` test for the former.
   //
-  // CHECK:STDERR: fail_todo_compound_access_through_call.carbon:[[@LINE+4]]:6: error: value of type `<associated entity in I>` is not callable [CallToNonCallable]
-  // CHECK:STDERR:   u.(I.G());
-  // CHECK:STDERR:      ^~~~~
+  // CHECK:STDERR: fail_todo_compound_access_through_call.carbon:[[@LINE+7]]:3: error: cannot implicitly convert non-type value of type `U` into type implementing `I` [ConversionFailureNonTypeToFacet]
+  // CHECK:STDERR:   u.(I.G)();
+  // CHECK:STDERR:   ^~~~~~~
+  // CHECK:STDERR: fail_todo_compound_access_through_call.carbon:[[@LINE+4]]:3: note: type `U` does not implement interface `Core.ImplicitAs(I)` [MissingImplInMemberAccessNote]
+  // CHECK:STDERR:   u.(I.G)();
+  // CHECK:STDERR:   ^~~~~~~
   // CHECK:STDERR:
-  u.(I.G());
+  u.(I.G)();
 
   // This is the same as the above, since G() returns a non-type value of type
   // `U`.
@@ -251,25 +254,17 @@ fn F(U:! I where .X = .Self) {
   // `u` is a non-type value. Can call methods with `self` through compound
   // member lookup, but can't call methods without `self`. See the
   // `compound_access_through_call.carbon` test for the latter.
-  // CHECK:STDERR: fail_todo_compound_access_through_call_with_self_param.carbon:[[@LINE+4]]:6: error: member name `G2` not found in `I` [MemberNameNotFoundInInstScope]
-  // CHECK:STDERR:   u.(I.G2());
-  // CHECK:STDERR:      ^~~~
-  // CHECK:STDERR:
-  u.(I.G2());
+  u.(I.G)();
 
   // This is the same as the above, since G() returns a non-type value of type
   // `U`.
   //
   // This works because G2 has a `self` parameter.
-  // CHECK:STDERR: fail_todo_compound_access_through_call_with_self_param.carbon:[[@LINE+8]]:3: error: cannot access member of interface `I` in type `I where .(I.X) = .Self` that does not implement that interface [MissingImplInMemberAccess]
-  // CHECK:STDERR:   U.(I.G)().(I.G2)();
+  // CHECK:STDERR: fail_todo_compound_access_through_call_with_self_param.carbon:[[@LINE+4]]:3: error: cannot access member of interface `I` in type `I where .(I.X) = .Self` that does not implement that interface [MissingImplInMemberAccess]
+  // CHECK:STDERR:   U.(I.G)().(I.G)();
   // CHECK:STDERR:   ^~~~~~~
   // CHECK:STDERR:
-  // CHECK:STDERR: fail_todo_compound_access_through_call_with_self_param.carbon:[[@LINE+4]]:14: error: member name `G2` not found in `I` [MemberNameNotFoundInInstScope]
-  // CHECK:STDERR:   U.(I.G)().(I.G2)();
-  // CHECK:STDERR:              ^~~~
-  // CHECK:STDERR:
-  U.(I.G)().(I.G2)();
+  U.(I.G)().(I.G)();
 }
 
 // --- fail_non_const_associated.carbon