mono/tests/verifier/valid_candidate_contraint_is_inflated_using_global_context.cs

   1 using System;
   2
   3 /*
   4
   5 .class public abstract auto ansi beforefieldinit IronRuby.Runtime.Calls.ProtocolConversionAction`1<.ctor (class IronRuby.Runtime.Calls.ProtocolConversionAction`1<!TSelf>) TSelf>
   6        extends IronRuby.Runtime.Calls.ProtocolConversionAction
   7        implements class [mscorlib]System.IEquatable`1<!TSelf>,
   8                   [Microsoft.Scripting]Microsoft.Scripting.Runtime.IExpressionSerializable
   9 {
  10   .field public static initonly !TSelf Instance
  11   .method family hidebysig specialname rtspecialname
  12           instance void  .ctor() cil managed
  13   {
  14     // Code size       7 (0x7)
  15     .maxstack  8
  16     IL_0000:  ldarg.0
  17     IL_0001:  call       instance void IronRuby.Runtime.Calls.ProtocolConversionAction::.ctor()
  18     IL_0006:  ret
  19   } // end of method ProtocolConversionAction`1::.ctor
  20
  21
  22 .class public abstract auto ansi beforefieldinit
  23 IronRuby.Runtime.Calls.ConvertToReferenceTypeAction`2<.ctor (class IronRuby.Runtime.Calls.ConvertToReferenceTypeAction`2<!TSelf,!TTargetType>) TSelf,class TTargetType>
  24        extends class IronRuby.Runtime.Calls.ProtocolConversionAction`1<!TSelf>
  25 {
  26
  27   .method family hidebysig specialname rtspecialname
  28           instance void  .ctor() cil managed
  29   {
  30     // Code size       7 (0x7)
  31     .maxstack  8
  32     IL_0000:  ldarg.0
  33     IL_0001:  call       instance void class IronRuby.Runtime.Calls.ProtocolConversionAction`1<!TSelf>::.ctor()
  34     IL_0006:  ret
  35   } // end of method ConvertToReferenceTypeAction`2::.ctor
  36
  37 */
  38
  39 namespace IronRuby.Runtime.Calls {
  40
  41 public abstract class ProtocolConversionAction<TSelf>
  42         where TSelf : ProtocolConversionAction<TSelf>, new ()
  43 {
  44
  45 }
  46
  47 public abstract class ConvertToReferenceTypeAction<TSelf, TTargetType> : ProtocolConversionAction <TSelf>
  48         where TSelf : ConvertToReferenceTypeAction<TSelf, TTargetType>, new ()
  49         where TTargetType : class
  50 {
  51
  52 }
  53 }
  54
  55 public class Foo {}
  56 public class Bar {}
  57
  58 public class BarToFoo : IronRuby.Runtime.Calls.ConvertToReferenceTypeAction <BarToFoo, Foo>
  59 {
  60
  61 }
  62
  63 public class Driver
  64 {
  65         static void Main () {
  66                 //new Bar<Inst> ().Tst ();
  67                 var x = new BarToFoo ();
  68         }
  69 }