Skip to content

Let `sel_pat.parse` fail with proper error when type is incorrect

Robbert Krebbers requested to merge robbert/sel_pat_parse into master

This fixes issue #421 (closed)

Merge request reports