Здравствуйте, _nn_, Вы писали:

__>Как все же чинить это ?

Начнем с более простого теста воспроизводящего багу:

interface ITest { }

class A { }
class B : A, ITest { }
class C : A, ITest { }

module Program
{
  Test() : ITest
  {
    def x = 1;
    match (x)
    {
      | 1 => B() : ITest
      | _ => C()
    }
  }

  Main() : void
  {
    _ = Test();
  }
}