From 55712f127f8aecdc184d260b677214001527ef4a Mon Sep 17 00:00:00 2001
From: YubinChen <cyb_yorkin@outlook.com>
Date: Mon, 13 May 2024 16:09:35 +0800
Subject: [PATCH] promote builtin.mbti

---
 builtin/builtin.mbti | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/builtin/builtin.mbti b/builtin/builtin.mbti
index ac24d4b1..8fd8e809 100644
--- a/builtin/builtin.mbti
+++ b/builtin/builtin.mbti
@@ -208,6 +208,7 @@ impl Bytes {
   blit(Bytes, Int, Bytes, Int, Int) -> Unit
   blit_from_string(Bytes, Int, String, Int, Int) -> Unit
   copy(Bytes) -> Bytes
+  debug_write(Bytes, Buffer) -> Unit
   length(Bytes) -> Int
   make(Int, Int) -> Bytes
   of_string(String) -> Bytes
@@ -217,6 +218,7 @@ impl Bytes {
   set_utf8_char(Bytes, Int, Char) -> Int
   sub_string(Bytes, Int, Int) -> String
   to_string(Bytes) -> String
+  to_unchecked_string(Bytes) -> String
 }
 impl Ref {
   debug_write[X : Debug](Self[X], Buffer) -> Unit