Implement a custom click parameter type called ExtensionFilteredPath that extends click.Path to additionally…

Implement a custom click parameter type called ExtensionFilteredPath that extends click.Path to additionally…: a task in repo2rlenv-code-instruct (Harbor dataset). The type should: 1. Accept an allowed extensions argument (e.g. ".txt", ".csv" ) in its constructor. 2. Inherit all standard…

The task

The type should: 1. Accept an `allowed_extensions` argument (e.g. `[".txt", ".csv"]`) in its constructor. 2. Inherit all standard `click.Path` validation (existence, file/dir checks, etc.) from the parent class. 3. After the parent validation passes, check that the resolved path's suffix (case-insensitive) is in…

Part of FineEnvs/repo2rlenv-code-instruct.