I think this case should be fine, because there are two earlier match clauses that check for "unresolvedness" and will resolve and recur. Or did you mean resolve inside the `StructType`?