<div dir="ltr"><div style="font-family:monospace" class="gmail_default">Well, correction. I think <b><u><i>I</i></u></b> am the one who misinterpreted the post, but I think an interesting situation occurs if you change the original post to be "Don't allow any catch-all" to be "Don't allow case S s as a catch-all when there already exists a good default and the selector expression is already of type S"</div><br></div>