Fix for #174, more parser checks and more parser tests #638
Annotations
10 errors and 1 warning
|
Clippy:
metamath-rs/src/tree.rs#L107
elided lifetime has a name
|
|
Clippy:
metamath-rs/src/bit_set.rs#L175
the following explicit lifetimes could be elided: 'a
|
|
Clippy:
metamath-rs/src/segment.rs#L105
the following explicit lifetimes could be elided: 'a
|
|
Clippy:
metamath-rs/src/segment.rs#L117
the following explicit lifetimes could be elided: 'a
|
|
Clippy:
metamath-rs/src/segment.rs#L123
the following explicit lifetimes could be elided: 'a
|
|
Clippy:
metamath-rs/src/segment.rs#L186
the following explicit lifetimes could be elided: 'a
|
|
Clippy:
metamath-rs/src/segment.rs#L257
the following explicit lifetimes could be elided: 'a
|
|
Clippy:
metamath-rs/src/tree.rs#L190
the following explicit lifetimes could be elided: 'a
|
|
Clippy:
metamath-rs/src/util.rs#L23
this could be a `const fn`
|
|
Clippy:
metamath-rs/src/comment_parser.rs#L347
the following explicit lifetimes could be elided: 'a
|
|
Run tests:
metamath-rs/src/tree.rs#L107
elided lifetime has a name
|
Loading