bool IPatternVisitor <bool> .Visit(AnyPattern expr)
{
FullyCovered = true;
return(false);
}
IUnboundExpr IPatternVisitor <IUnboundExpr> .Visit(AnyPattern expr)
{
// always succeed
return(new BoolExpr(expr.Position, true));
}
bool IPatternVisitor <bool> .Visit(AnyPattern expr)
{
// an any pattern matches any type
return(true);
}