Dmitry Soshnikov (2013-08-14T16:54:30.000Z)
domenic at domenicdenicola.com (2013-08-19T05:03:05.021Z)
OK, so it's turned out to be refutable nevertheless. It seems everyone was missing this point until this mail on the thread. >From the implementation perspective it's postponed to runtime check with stopping the destrucuring, and just throwing at first mismatch. Thanks for the I info. It's also probably worth waiting until Sep meeting for possible changes.