pub fn parse_file_line_spec(spec: &str) -> Result<(Utf8PathBuf, u32)>Expand description
Parse a FILE.lean:LINE target into its path and one-based line.
The split is on the final colon so Windows-style drive letters and paths with colons in earlier segments still parse.