From df5d5edd1b7cb2e9f26d3a2491442185e0ffc17a Mon Sep 17 00:00:00 2001
From: Yoichi Hirai <i@yoichihirai.com>
Date: Fri, 25 Nov 2016 13:54:13 +0100
Subject: test: add a test about explicitly converting a string literal to
 string

---
 test/libsolidity/SolidityNameAndTypeResolution.cpp | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'test/libsolidity')

diff --git a/test/libsolidity/SolidityNameAndTypeResolution.cpp b/test/libsolidity/SolidityNameAndTypeResolution.cpp
index cc4da61b..7a132068 100644
--- a/test/libsolidity/SolidityNameAndTypeResolution.cpp
+++ b/test/libsolidity/SolidityNameAndTypeResolution.cpp
@@ -2038,7 +2038,7 @@ BOOST_AUTO_TEST_CASE(string)
 	BOOST_CHECK_NO_THROW(parseAndAnalyse(sourceCode));
 }
 
-BOOST_AUTO_TEST_CASE(invalid_utf8)
+BOOST_AUTO_TEST_CASE(invalid_utf8_implicit)
 {
 	char const* sourceCode = R"(
 		contract C {
@@ -2048,6 +2048,16 @@ BOOST_AUTO_TEST_CASE(invalid_utf8)
 	CHECK_ERROR(sourceCode, TypeError, "invalid UTF-8");
 }
 
+BOOST_AUTO_TEST_CASE(invalid_utf8_explicit)
+{
+	char const* sourceCode = R"(
+		contract C {
+			string s = string("\xa0\x00");
+		}
+	)";
+	CHECK_ERROR(sourceCode, TypeError, "Explicit type conversion not allowed");
+}
+
 BOOST_AUTO_TEST_CASE(string_index)
 {
 	char const* sourceCode = R"(
-- 
cgit