using System;

namespace ExplicitOperator {
  class A {
          public static @:> ( _foo : A) : X
          {
                  mutable myX = X();
                  Console.WriteLine (":->");
                   myX;
          }
  }

  class X {
  }

  class Y : X {
  }

  class blah {
          public static Run () : int
          {
                  mutable testA = A();

                  _ = ( testA :> X);
                  0
          }
  }
}

namespace Bug806 {
  class Op
  {}

  class ExtOp: Op {
    public static @:>(_: Op): ExtOp { ExtOp() }
  }

  module Check {
    public Run () : void {
      _ = Op() :> ExtOp
    }
  }
}

module Test {
  Main() : int {
    Bug806.Check.Run ();
    ExplicitOperator.blah.Run ();
  }
}

/*
BEGIN-OUTPUT
:->
END-OUTPUT
*/