Summary: synthetic cast missing when translating autoboxing expressions
Reviewed-by: jjg

Reviewed-by: ohair, xdono