This type ascription of `::<Path>` shouldn't be necessary