From 274ecb71fa7eeca065807b1fb48e02be2bb9dc30 Mon Sep 17 00:00:00 2001
From: Alexander Medvednikov <alexander@medvednikov.com>
Date: Fri, 19 Jun 2020 11:27:20 +0200
Subject: [PATCH] checker: `as` type test

---
 vlib/v/checker/tests/unknown_as_type.out |  7 +++++++
 vlib/v/checker/tests/unknown_as_type.vv  | 13 +++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 vlib/v/checker/tests/unknown_as_type.out
 create mode 100644 vlib/v/checker/tests/unknown_as_type.vv

diff --git a/vlib/v/checker/tests/unknown_as_type.out b/vlib/v/checker/tests/unknown_as_type.out
new file mode 100644
index 0000000000..f7f30fbc1e
--- /dev/null
+++ b/vlib/v/checker/tests/unknown_as_type.out
@@ -0,0 +1,7 @@
+x.v:7:9: error: unknown type `Stringg`
+    5 |
+    6 | fn foo(e Expr) {
+    7 |     x := e as Stringg
+      |            ~~
+    8 |     println(x)
+    9 | }
diff --git a/vlib/v/checker/tests/unknown_as_type.vv b/vlib/v/checker/tests/unknown_as_type.vv
new file mode 100644
index 0000000000..66c2a57a02
--- /dev/null
+++ b/vlib/v/checker/tests/unknown_as_type.vv
@@ -0,0 +1,13 @@
+type Expr = Int | String
+
+struct Int {}
+struct String {}
+
+fn foo(e Expr) {
+	x := e as Stringg
+	println(x)
+}
+
+fn main() {
+
+}