Clarify lifetimes

MDLC01 · MDLC01 · commit dfc3430036a2 · 2025-08-11T16:23:25.000+02:00
diff --git a/build.rs b/build.rs
@@ -130,7 +130,7 @@ fn process(buf: &mut String, file: &Path, name: &str, desc: &str) {
 }
 
 /// Tokenizes and classifies a line.
-fn tokenize(line: &str) -> StrResult<Line> {
+fn tokenize(line: &str) -> StrResult<Line<'_>> {
     // Strip comments.
     let line = line.split_once("//").map_or(line, |(head, _)| head);
 

Original file line number	Diff line number	Diff line change
`@@ -130,7 +130,7 @@ fn process(buf: &mut String, file: &Path, name: &str, desc: &str) {`
`130`	`130`	`}`
`131`	`131`
`132`	`132`	`/// Tokenizes and classifies a line.`
`133`		`-fn tokenize(line: &str) -> StrResult<Line> {`
	`133`	`+fn tokenize(line: &str) -> StrResult<Line<'_>> {`
`134`	`134`	`// Strip comments.`
`135`	`135`	`let line = line.split_once("//").map_or(line, \|(head, _)\| head);`
`136`	`136`