As background for some upcoming docs on specialized generics, I’ve posted a doc here
http://cr.openjdk.java.net/~briangoetz/valhalla/erasure.html <http://cr.openjdk.java.net/~briangoetz/valhalla/erasure.html>
outlining the historical rationale for erasure in generics. Many of the same factors are going to come up again….