Nullable types can satisfy only identity or base type constraints

1 files changed, 27 insertions, 0 deletions

diff --git a/mcs/tests/gtest-563.cs b/mcs/tests/gtest-563.cs
new file mode 100644
index 00000000000..a5b208b9ef3
--- /dev/null
+++ b/mcs/tests/gtest-563.cs
@@ -0,0 +1,27 @@
+using System;
+
+struct S
+{
+}
+
+class C<U>
+{
+	static void Foo<T> (T value) where T : U
+	{
+	}
+
+	public static void Test (S? s)
+	{
+		C<S?>.Foo (s);
+		C<ValueType>.Foo (s);
+		C<object>.Foo (s);
+	}
+}
+
+class M
+{
+	public static void Main ()
+	{
+		C<int>.Test (null);
+	}
+}
\ No newline at end of file