You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
tisonkun
changed the title
Tracking Issue for PathBuf::add_extension and Path::with_added_extension
Tracking Issue for PathBuf::add_extension and Path::with_extra_extension
Jul 3, 2024
tisonkun
changed the title
Tracking Issue for PathBuf::add_extension and Path::with_extra_extension
Tracking Issue for PathBuf::add_extension and Path:: with_added_extension
Jul 4, 2024
tisonkun
changed the title
Tracking Issue for PathBuf::add_extension and Path:: with_added_extension
Tracking Issue for PathBuf::add_extension and Path::with_added_extension
Jul 4, 2024
Feature gate:
#![feature(path_add_extension)]
This is a tracking issue for
PathBuf::add_extension
Path::with_added_extension
Public API
Steps / History
Unresolved Questions
None yet.
Footnotes
The text was updated successfully, but these errors were encountered: