Change ImplicitReferenceConversion not to relly on broken IsValueType

1 files changed, 19 insertions, 0 deletions

diff --git a/mcs/tests/gtest-558.cs b/mcs/tests/gtest-558.cs
new file mode 100644
index 00000000000..18038cfd9a5
--- /dev/null
+++ b/mcs/tests/gtest-558.cs
@@ -0,0 +1,19 @@
+using System;
+
+abstract class A<T>
+{
+	public abstract void Foo<U> (U arg) where U : T;
+}
+
+class B : A<int>
+{
+	public override void Foo<U> (U arg)
+	{
+		ValueType vt = arg;
+	}
+
+	public static void Main ()
+	{
+		new B ().Foo (5);
+	}
+}