checker: disallow expr is Type if expr is Optional
#23
puzzle_vibes_ci.yml
on: push
v-compiles-puzzle-vibes
3m 4s
expr is Type if expr is Optional
#23