Scannable map or struct assertions

What about an assert_match, with guards and all, it would handle that case fine.