[checker][pattern-matching] Add nothing as a convenience factory fu…
#139
| Job | Run time |
|---|---|
| 49s | |
| 1m 17s | |
| 2m 6s |
nothing as a convenience factory fu…
#139
| Job | Run time |
|---|---|
| 49s | |
| 1m 17s | |
| 2m 6s |