C# Online Compiler | .NET Fiddle

<no name> by Anonymous

using System;
					
public class Program
{
	public static void Main()
	{
		var test1 = (CanOnlyBeValueType<MyValueType>)new MyValueType(); // Compiles. Expected. But does boxing.
		var test2 = (CanOnlyBeValueType<MyReferenceType>)new MyReferenceType(); // Does not compile. Expected.
		
		var test3 = (CanOnlyBeReferenceType<MyValueType>)new MyValueType(); // Does not compile. Expected.
		var test4 = (CanOnlyBeReferenceType<MyReferenceType>)new MyReferenceType(); // Compiles. Expected.
	}
}

public interface CanOnlyBeValueType<T> where T : struct
{
	// Don't require anything to be implemented.
}

public interface CanOnlyBeReferenceType<T> where T : class
{
	// Don't require anything to be implemented.
}

public struct MyValueType : CanOnlyBeValueType<MyValueType> // Must specify which interface implements.
{
}

public class MyReferenceType
{
}

​x
 
using System;
                    
public class Program
{
    public static void Main()
    {
        var test1 = (CanOnlyBeValueType<MyValueType>)new MyValueType(); // Compiles. Expected. But does boxing.
        var test2 = (CanOnlyBeValueType<MyReferenceType>)new MyReferenceType(); // Does not compile. Expected.
        
        var test3 = (CanOnlyBeReferenceType<MyValueType>)new MyValueType(); // Does not compile. Expected.
        var test4 = (CanOnlyBeReferenceType<MyReferenceType>)new MyReferenceType(); // Compiles. Expected.
    }
}
​
public interface CanOnlyBeValueType<T> where T : struct
{
    // Don't require anything to be implemented.
}
​
public interface CanOnlyBeReferenceType<T> where T : class
{
    // Don't require anything to be implemented.
}
​
public struct MyValueType : CanOnlyBeValueType<MyValueType> // Must specify which interface implements.
{
}
​
public class MyReferenceType
{
}

Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: SalariedEmployee
Salaried Employee Computer: LaptopComputer
Employee Type: HourlyEmployee
Employee Type: HourlyEmployee
Employee Type: SalariedEmployee
Salaried Employee Computer: DesktopComputer
Employee Type: HourlyEmployee

Cached Result
Last Run:	12:55:53 am
Compile:	0.009s
Execute:	0.05s
Memory:	3.22Mb
CPU:	0.059s

View IL Code