Tracking Issue for `path_trailing_sep`

Feature gate: #![feature(path_trailing_sep)]

This is a tracking issue for the Path::has_trailing_sep and related methods, which enforce whether a Path or PathBuf ends in a trailing separator.

Public API

impl Path {
    fn has_trailing_sep(&self) -> bool;
    fn with_trailing_sep(&self) -> Cow<'_, Path>;
    fn trim_trailing_sep(&self) -> &Path;
}
impl PathBuf {
    fn set_trailing_sep(&mut self, suffix: bool);
    fn push_trailing_sep(&mut self);
    fn pop_trailing_sep(&mut self);
}

Steps / History

(Remember to update the S-tracking-* label when checking boxes.)

• ACP: rust-lang/libs-team#335
• Implementation: #142506
• Final comment period (FCP)^1
• Stabilization PR

Unresolved Questions

• Should we offer the set_trailing_sep API or push_trailing_sep/pop_trailing_sep separately? Right now, both are offered to see which is preferred.
• Is trim_trailing_sep necessary? It wasn't in the original ACP.
• trim_trailing_sep will leave / as /, but has_trailing_sep returns true for /. That seems like a possible bug?

Start with the public API listed in the issue and review the implementation tracked by #142506. Examine the unresolved questions about set_trailing_sep versus push/pop and trim_trailing_sep, including the root-path behavior. Done means resolving those questions, completing the final comment period, and preparing the stabilization PR.