The "Specify type annotations" lint doesn't complain about untyped literals

[Hixie]

e.g. [] and {} should have types but it doesn't complain. It should require types on those too (and report what types have been inferred from the contents or from where the literals are being passed).