rsk0315Annotations
4 errors and 10 warnings
|
cargo-test
Undefined Behavior: not granting access to tag <189925> because that would remove [Unique for <193013>] which is strongly protected because it is an argument of call 47802
|
|
cargo-test
Undefined Behavior: reborrow through <183872> (root of the allocation) at alloc64161[0x18] is forbidden
|
|
cargo-test
Undefined Behavior: write access through <187483> at alloc65139[0x0] is forbidden
|
|
cargo-test
Process completed with exit code 1.
|
|
cargo-test
method `reborrow` is never used
|
|
cargo-test
method `reborrow` is never used
|
|
cargo-test
method `reborrow` is never used
|
|
cargo-test
method `reborrow` is never used
|
|
cargo-test
method `reborrow` is never used
|
|
cargo-test
method `reborrow` is never used
|
|
cargo-test
method `reborrow` is never used
|
|
cargo-test
method `reborrow` is never used
|
|
cargo-test
field `val` is never read
|
|
cargo-test
associated function `new` is never used
|