variant FooBar
{
    | Foo
    | Bar
}

module Program
{
    Main() : void
    {
        def x : FooBar = FooBar.Foo();

        match(x) // <-- warning : matching is not exhaustive, example unmatched value: Foo
        {
            | Bar => WriteLine("Bar");
        }
        
        _ = ReadLine();
    }
}

Падает в рантайме.
Имхо, если Nemerle позиционируется, как строготипизированный язык, то тут должна быть ошибка.