"future" langversion. Variance is allowed in interface
and delegate types. Covariant type parameters are denoted
with the "out" keyword like so:
interface IFoo<out T> {
T Bar { get; }
}
And contravariant type parameters are dentoed with the
"in" keyword, like so:
delegate void Bar<in T> (T input);
Covariant type parameters can only be used as method
return types and type arguments for inherited
interfaces. Contravariant type parameters can only be
used as by-value method parameter types.
Only reference type are variant.
!!!IT SHOULD BE NOTED!!!
That the Mono VM does not yet fully support generic
type variance, so variant code compiled with this
feature will not run on Mono until variance support
is complete. Code compiled with this feature will run
on the .NET 2.0 virtual machine.
This patch is contributed under the MIT/X11 license.
svn path=/trunk/mcs/; revision=125647
