in other langs i’ve used, declaring exhaustiveness...
# language-proposalsd
danneu
04/21/2017, 1:40 PMin other langs i’ve used, declaring exhaustiveness to a matcher is often just
else -> impossible()danneu
04/21/2017, 1:40 PMelse -> impossible()