struct Foo
{
  public int N;
  public static bool operator ==(Foo f1, Foo f2)
  {
    return f1.N==f2.N;
  }
  public static bool operator !=(Foo f1, Foo f2)
  {
    return f1.N!=f2.N;
  }
}

class Bar
{
  public Bar(string s)
  {
    Zot = s;
  }

  public string Zot { get; }

  public override bool Equals(object obj)
  {
    return (obj is Bar b) && Zot.Equals(b.Zot);
  }

  protected bool Equals(Bar other)
  {
    return string.Equals(Zot, other.Zot);
  }

  public override int GetHashCode()
  {
    return (Zot != null ? Zot.GetHashCode() : 0);
  }
}

class Program
{
  static void Main()
  {
    Compare(123, 456);
    Compare(typeof(object), typeof(string));
    Compare(new Foo{N=1}, new Foo{N=2});
    Compare('a', 'b');
    Compare(new Bar("1"), new Bar("2"));
    Console.WriteLine("done");
    Console.ReadKey(true);
  }

  static void Compare(int n1, int n2)
  {
    Console.WriteLine(n1 == n2);
  }

  static void Compare(Foo f1, Foo f2)
  {
    Console.WriteLine(f1 == f2);
  }

  static void Compare(Type t1, Type t2)
  {
    Console.WriteLine(t1==t2);
  }

  static void Compare(char c1, char c2)
  {
    Console.WriteLine(c1.Equals(c2));
  }

  static void Compare(Bar b1, Bar b2)
  {
    Console.WriteLine(b1==b2);
  }
}

.class private auto ansi beforefieldinit test2.Program
  extends [mscorlib]System.Object
{
  .method public hidebysig specialname rtspecialname instance void .ctor () cil managed 
  {
    IL_0000: ldarg.0
    IL_0001: call instance void [mscorlib]System.Object::.ctor()
    IL_0006: nop
    IL_0007: ret
  }

  .method private hidebysig static void Compare (
          int32 n1,
          int32 n2
      ) cil managed 
  {
    IL_0000: nop
    IL_0001: ldarg.0
    IL_0002: ldarg.1
    IL_0003: ceq 
    IL_0005: call void [mscorlib]System.Console::WriteLine(bool)
    IL_000a: nop
    IL_000b: ret
  }

  .method private hidebysig static void Compare (
          valuetype test2.Foo f1,
          valuetype test2.Foo f2
      ) cil managed 
  {
    IL_0000: nop
    IL_0001: ldarg.0
    IL_0002: ldarg.1
    IL_0003: call bool test2.Foo::op_Equality(valuetype test2.Foo,  valuetype test2.Foo)
    IL_0008: call void [mscorlib]System.Console::WriteLine(bool)
    IL_000d: nop
    IL_000e: ret
  }

  .method private hidebysig static void Compare (
          class [mscorlib]System.Type t1,
          class [mscorlib]System.Type t2
      ) cil managed 
  {
    IL_0000: nop
    IL_0001: ldarg.0
    IL_0002: ldarg.1
    IL_0003: call bool [mscorlib]System.Type::op_Equality(class [mscorlib]System.Type,  class [mscorlib]System.Type)
    IL_0008: call void [mscorlib]System.Console::WriteLine(bool)
    IL_000d: nop
    IL_000e: ret
  }

  .method private hidebysig static void Compare (
          char c1,
          char c2
      ) cil managed 
  {
    IL_0000: nop
    IL_0001: ldarga.s c1
    IL_0003: ldarg.1
    IL_0004: call instance bool [mscorlib]System.Char::Equals(char)
    IL_0009: call void [mscorlib]System.Console::WriteLine(bool)
    IL_000e: nop
    IL_000f: ret
  }

  .method private hidebysig static void Compare (
        class test2.Bar b1,
        class test2.Bar b2
    ) cil managed 
  {
    IL_0000: nop
    IL_0001: ldarg.0
    IL_0002: ldarg.1
    IL_0003: ceq
    IL_0005: call void [mscorlib]System.Console::WriteLine(bool)
    IL_000a: nop
    IL_000b: ret
  }

  .method private hidebysig static void Main () cil managed 
  {
    .entrypoint
    .locals init (
        [0] valuetype test2.Foo V_0
    )

    IL_0000: nop
    IL_0001: ldc.i4.s 123
    IL_0003: ldc.i4 456
    IL_0008: call void test2.Program::Compare(int32,  int32)
    IL_000d: nop
    IL_000e: ldtoken [mscorlib]System.Object
    IL_0013: call class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle)
    IL_0018: ldtoken [mscorlib]System.String
    IL_001d: call class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle)
    IL_0022: call void test2.Program::Compare(class [mscorlib]System.Type,  class [mscorlib]System.Type)
    IL_0027: nop
    IL_0028: ldloca.s V_0
    IL_002a: initobj test2.Foo
    IL_0030: ldloca.s V_0
    IL_0032: ldc.i4.1
    IL_0033: stfld int32 test2.Foo::N
    IL_0038: ldloc.0
    IL_0039: ldloca.s V_0
    IL_003b: initobj test2.Foo
    IL_0041: ldloca.s V_0
    IL_0043: ldc.i4.2
    IL_0044: stfld int32 test2.Foo::N
    IL_0049: ldloc.0
    IL_004a: call void test2.Program::Compare(valuetype test2.Foo,  valuetype test2.Foo)
    IL_004f: nop
    IL_0050: ldc.i4.s 97
    IL_0052: ldc.i4.s 98
    IL_0054: call void test2.Program::Compare(char,  char)
    IL_0059: nop
    IL_005a: ldstr "1"
    IL_005f: newobj instance void test2.Bar::.ctor(string)
    IL_0064: ldstr "2"
    IL_0069: newobj instance void test2.Bar::.ctor(string)
    IL_006e: call void test2.Program::Compare(class test2.Bar,  class test2.Bar)
    IL_0073: nop
    IL_0074: ldstr "done"
    IL_0079: call void [mscorlib]System.Console::WriteLine(string)
    IL_007e: nop
    IL_007f: ldc.i4.1
    IL_0080: call valuetype [mscorlib]System.ConsoleKeyInfo [mscorlib]System.Console::ReadKey(bool)
    IL_0085: pop
    IL_0086: ret
  }
}