Function normalize_lexically 

pub fn normalize_lexically(p: &Path) -> PathBuf

Lexically resolve . and .. in a path without touching the filesystem.

This is pure: it never follows symlinks, never reads the FS, and never pops past a root or prefix component. The result has the same root / prefix as the input.