Fix #1946: We were calling boxUnboxIfNecessary(), instead use applyErasureAndBoxing(), but we have to pass an explict erasure state because there's no Tree.Term to get the erasure info from (I guess that's implcit because we're destructuring).
Issue #1946: Add a test
Issue #1935: Ooops, copyright header
.src changed by fix to #1946