We aren't allowing struct literals to elide the types, at least not yet, because elision can cause subtle bugs as programs evolve. Unlike in a slice, the fields of a struct can be rearranged, and the types provide more information about correctness than the values themselves. Such rearrangement could introduce subtle bugs that would be hard to discover, especially in a large program. Thus the elision is not permitted for structs at the moment.
-rob
-rob