How to convert from `Provider<java.io.File>` to `Provider<RegularFile>`?

# gradle

[Dominaezzz]

How to convert from Provider<java.io.File> to Provider<RegularFile>?

[Dominaezzz]

At the moment I'm using map { RegularFile { it } } but something tells me I shouldn't be doing that.

[Leon Linhart]

I suppose https://docs.gradle.org/current/javadoc/org/gradle/api/file/ProjectLayout.html#file-org.gradle.api.provider.Provider-