Miri test

Removes special cases for incompleteness detection #1212

Triggered via push January 5, 2025 12:47

zslayton

pushed 58ce9cd

winnow-experiment

Status Success

Total duration 15m 33s

Artifacts –

miri.yml

on: push

Matrix: Test with Miri

Annotations

12 errors and 13 warnings

using `clone` on type `TextBuffer<'_>` which implements the `Copy` trait: src/lazy/text/buffer.rs#L2180

error: using `clone` on type `TextBuffer<'_>` which implements the `Copy` trait --> src/lazy/text/buffer.rs:2180:40 | 2180 | InvalidInputError::new(self.clone()), | ^^^^^^^^^^^^ help: try dereferencing it: `*self` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy

using `clone` on type `TextBuffer<'_>` which implements the `Copy` trait: src/lazy/text/buffer.rs#L2131

error: using `clone` on type `TextBuffer<'_>` which implements the `Copy` trait --> src/lazy/text/buffer.rs:2131:29 | 2131 | let mut remaining = self.clone(); | ^^^^^^^^^^^^ help: try dereferencing it: `*self` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy

using `clone` on type `TextBuffer<'_>` which implements the `Copy` trait: src/lazy/text/buffer.rs#L1105

error: using `clone` on type `TextBuffer<'_>` which implements the `Copy` trait --> src/lazy/text/buffer.rs:1105:58 | 1105 | let sexp_iter = RawTextSExpIterator_1_1::new(input.clone()); | ^^^^^^^^^^^^^ help: try dereferencing it: `*input` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy

using `clone` on type `TextBuffer<'_>` which implements the `Copy` trait: src/lazy/text/buffer.rs#L580

error: using `clone` on type `TextBuffer<'_>` which implements the `Copy` trait --> src/lazy/text/buffer.rs:580:21 | 580 | let input = self.clone(); | ^^^^^^^^^^^^ help: try dereferencing it: `*self` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy

using `clone` on type `TextBuffer<'_>` which implements the `Copy` trait: src/lazy/text/buffer.rs#L567

error: using `clone` on type `TextBuffer<'_>` which implements the `Copy` trait --> src/lazy/text/buffer.rs:567:21 | 567 | let input = self.clone(); | ^^^^^^^^^^^^ help: try dereferencing it: `*self` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy

using `clone` on type `TextBuffer<'_>` which implements the `Copy` trait: src/lazy/text/buffer.rs#L407

error: using `clone` on type `TextBuffer<'_>` which implements the `Copy` trait --> src/lazy/text/buffer.rs:407:21 | 407 | let input = self.clone(); | ^^^^^^^^^^^^ help: try dereferencing it: `*self` | = help: for further information visit https://rust-lang.github.io/rust-clippy/master/index.html#clone_on_copy = note: `-D clippy::clone-on-copy` implied by `-D warnings` = help: to override `-D warnings` add `#[allow(clippy::clone_on_copy)]`

using `clone` on type `TextBuffer<'_>` which implements the `Copy` trait: src/lazy/text/buffer.rs#L2180