Summary: Implement new inference scheme for diamond operator that takes into account type of actual arguments supplied to constructor
Reviewed-by: jjg, darcy

Summary: backout changeset for 6840638
Reviewed-by: jjg

Reviewed-by: darcy

Summary: diamond operator implementation (simple approach)
Reviewed-by: jjg