补充类型断言失败的例子

_examples/copy.wa

-# 版权 @2021 凹语言 作者。保留所有权利。
+// 版权 @2021 凹语言 作者。保留所有权利。
 
 var s = []int{1, 2, 3, 4, 5, 6}
 func main() {

_examples/interface_named.wa

-# 版权 @2021 凹语言 作者。保留所有权利。
+// 版权 @2021 凹语言 作者。保留所有权利。
 
 type T1 struct {
 	a: i32

_examples/strbytes.wa

+// 版权 @2023 凹语言 作者。保留所有权利。
+
 func main() {
 	println("a:", 42)
 	str := "hello"

_examples/struct.wa

-// 版权 @2021 凹语言 作者。保留所有权利。
+// 版权 @2023 凹语言 作者。保留所有权利。
 
 var Info: struct{
 	name: string

_tests/Makefile

+run:
+	go run ../main.go type-assert-01.wa
+
+ssa:
+	go run ../main.go ssa type-assert-01.wa
+
+clean:

_tests/readme.md

+# 凹语言自身测试(语言开发者使用)
\ No newline at end of file

_tests/type-assert-01.wa

+// 版权 @2023 凹语言 作者。保留所有权利。
+
+func main {
+	var err: myIface = &errorString{"myError"}
+	xerr, ok := err.(myIface)
+
+	println("ok:", ok) // BUG: OK 始终返回 false
+	println("xerr:", xerr)
+}
+
+type myIface interface {
+	MyError() => string
+}
+
+type errorString struct {
+	s: string
+}
+
+func errorString.MyError => string {
+	return this.s
+}