Skip to content

remove lifetime from ParseError (#12) #16

remove lifetime from ParseError (#12)

remove lifetime from ParseError (#12) #16

Triggered via push July 26, 2024 01:54
Status Success
Total duration 1m 4s
Artifacts

ci.yml

on: push
run cargo tests
52s
run cargo tests
verify formatting and lints
48s
verify formatting and lints
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
verify formatting and lints: src/frontend/parser.rs#L247
binding's name is too similar to existing binding
verify formatting and lints: src/frontend/arena.rs#L4
item name starts with its containing module's name
verify formatting and lints: src/frontend/ast.rs#L6
item name starts with its containing module's name
verify formatting and lints: src/frontend/ast.rs#L9
item name starts with its containing module's name
verify formatting and lints: src/frontend/ast.rs#L11
item name starts with its containing module's name
verify formatting and lints: src/frontend/ast.rs#L19
item name starts with its containing module's name
verify formatting and lints: src/frontend/parser.rs#L54
this method could have a `#[must_use]` attribute
verify formatting and lints: src/frontend/parser.rs#L75
docs for function returning `Result` missing `# Errors` section
verify formatting and lints: src/frontend/parser.rs#L86
docs for function returning `Result` missing `# Errors` section
verify formatting and lints: src/frontend/parser.rs#L326
this function's return value is unnecessarily wrapped by `Result`