В тесте присутствует такой код:

namespace SystemActionVsAction {
  using System;
  
  public variant Action {
    | B
    | C
  }
  
  public module M {
    public foo (x : Action) : void {
      _ = x is Action.B
    }
  }
}

Как он вообще проходит ??

Возьмем другой пример без System

namespace A
{
  class X {}
}

namespace B
{
  using A;
  
  variant X
  {
    | Q
    | W
  }
  
  public module M
  {
    public F(x : X) : void
    {      
    }
  }
}

Error: type name 'X' is ambiguous, it could be: