From 1fba60ca8ca2e5c6b24a5005c262013035bf6c71 Mon Sep 17 00:00:00 2001
From: Jon Ross-Perkins <jperkins@google.com>
Date: Wed, 24 Sep 2025 16:34:51 -0700
Subject: [PATCH] Core.Char -> char in a couple spots (#6126)

---
 examples/interop/cpp/hello_world.carbon       | 6 +++---
 toolchain/lower/testdata/builtins/char.carbon | 4 ++--
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/examples/interop/cpp/hello_world.carbon b/examples/interop/cpp/hello_world.carbon
index 5a841fd92dfa..25761cfc8c65 100644
--- a/examples/interop/cpp/hello_world.carbon
+++ b/examples/interop/cpp/hello_world.carbon
@@ -20,13 +20,13 @@ fn Run() {
 
   // TODO: Requires Core.String API.
   // let message: str = "Hello world!\n\n";
-  // for (c: Core.Char in message) {
+  // for (c: char in message) {
   //   Cpp.putchar((c as u8) as i32);
   // }
 
-  let message: array(Core.Char, 13) =
+  let message: array(char, 13) =
       ('H', 'e', 'l', 'l', 'o', ' ', 'w', 'o', 'r', 'l', 'd', '!', '\n');
-  for (c: Core.Char in message) {
+  for (c: char in message) {
     // TODO: u8 should probably have an implicit cast to i32.
     Cpp.putchar((c as u8) as i32);
   }
diff --git a/toolchain/lower/testdata/builtins/char.carbon b/toolchain/lower/testdata/builtins/char.carbon
index 4a70e85716ff..81cb62a2fc7e 100644
--- a/toolchain/lower/testdata/builtins/char.carbon
+++ b/toolchain/lower/testdata/builtins/char.carbon
@@ -14,8 +14,8 @@
 
 library "[[@TEST_NAME]]";
 
-fn Example() -> Core.Char {
-  var c: Core.Char = 'a';
+fn Example() -> char {
+  var c: char = 'a';
   return c;
 }