diff --git a/ICSharpCode.Decompiler.Tests/PrettyTestRunner.cs b/ICSharpCode.Decompiler.Tests/PrettyTestRunner.cs
index 3edd86c90..f68632b75 100644
--- a/ICSharpCode.Decompiler.Tests/PrettyTestRunner.cs
+++ b/ICSharpCode.Decompiler.Tests/PrettyTestRunner.cs
@@ -926,6 +926,12 @@ namespace ICSharpCode.Decompiler.Tests
 			await RunForLibrary(cscOptions: cscOptions);
 		}
 
+		[Test]
+		public async Task Variance([ValueSource(nameof(defaultOptions))] CompilerOptions cscOptions)
+		{
+			await RunForLibrary(cscOptions: cscOptions);
+		}
+
 		[Test]
 		public async Task StaticAbstractInterfaceMembers([ValueSource(nameof(roslyn4OrNewerOptions))] CompilerOptions cscOptions)
 		{
diff --git a/ICSharpCode.Decompiler.Tests/TestCases/Pretty/Variance.cs b/ICSharpCode.Decompiler.Tests/TestCases/Pretty/Variance.cs
new file mode 100644
index 000000000..a46a68888
--- /dev/null
+++ b/ICSharpCode.Decompiler.Tests/TestCases/Pretty/Variance.cs
@@ -0,0 +1,82 @@
+using System;
+using System.Collections.Generic;
+
+namespace ICSharpCode.Decompiler.Tests.TestCases.Pretty
+{
+	public class ExplicitVariantImpl : IVariant<object, string>
+	{
+		string IVariant<object, string>.Convert(object value)
+		{
+			return null;
+		}
+	}
+
+	public interface IConstrainedCovariant<out T> where T : class
+	{
+		T Get();
+	}
+
+	public interface IContravariant<in T>
+	{
+		void Set(T value);
+	}
+
+	public interface ICovariant<out T>
+	{
+		T Get();
+	}
+
+	public interface IVariant<in TIn, out TOut>
+	{
+		TOut Convert(TIn value);
+	}
+
+	public static class VarianceConversions
+	{
+		public static IEnumerable<object> Widen(IEnumerable<string> xs)
+		{
+			return xs;
+		}
+
+		public static Action<string> Narrow(Action<object> a)
+		{
+			return a;
+		}
+
+		public static Func<object> ToObjectFunc(Func<string> f)
+		{
+			return f;
+		}
+
+		public static ICovariant<object> WidenInterface(ICovariant<string> c)
+		{
+			return c;
+		}
+
+		public static IContravariant<string> NarrowInterface(IContravariant<object> c)
+		{
+			return c;
+		}
+
+		public static VariantFunc<string, object> ConvertDelegate(VariantFunc<object, string> f)
+		{
+			return f;
+		}
+
+		public static void ArgumentConversion(ICovariant<string> c, IContravariant<object> c2)
+		{
+			UseCovariant(c);
+			UseContravariant(c2);
+		}
+
+		private static void UseCovariant(ICovariant<object> c)
+		{
+		}
+
+		private static void UseContravariant(IContravariant<string> c)
+		{
+		}
+	}
+
+	public delegate TResult VariantFunc<in TArg, out TResult>(TArg arg);
+}