Inconsistency in Type Inference?

related: Referring to failable initializer with leading dot syntax