'case' bug matching $'\\\\'

The quoted strings '\\' and $'\\\\' are identical, but the 'case' statement in 
the current git version of dash does not match them as such.

Reproducer:

case '\\' in
( $'\\\\' )	echo ok ;;
( * )		echo WRONG ;;
esac


-- 
||	modernish -- harness the shell
||	https://github.com/modernish/modernish
||
||	KornShell lives!
||	https://github.com/ksh93/ksh