Function rustc_mir::interpret::validity::write_path

fn write_path(out: &mut String, path: &[PathElem])

Format a path