Skip to content

Flexiber generates non_local_definitions warnings #6

@sosthene-nitrokey

Description

@sosthene-nitrokey

Example from trussed`:

This appears to be a new lint from 1.83.0.

error: non-local `impl` definition, `impl` blocks should be written at the same level as their item
   --> src/service/attest.rs:211:23
    |
211 | #[derive(Clone, Copy, Encodable, Eq, PartialEq)]
    |                       ^--------
    |                       |
    |                       `Container` is not local
    |                       move the `impl` block outside of this constant `_DERIVE_flexiber_Container_FOR_TbsCertificate`
212 | pub struct TbsCertificate<'l> {
    |            -------------- `TbsCertificate` is not local
    |
    = note: the derive macro `Encodable` defines the non-local `impl`, and may need to be changed
    = note: the derive macro `Encodable` may come from an old version of the `flexiber_derive` crate, try updating your dependency with `cargo update -p flexiber_derive`
    = note: an `impl` is never scoped, even when it is nested inside an item, as it may impact type checking outside of that item, which can be the case if neither the trait or the self type are at the same nesting level as the `impl`
    = note: items in an anonymous const item (`const _: () = { ... }`) are treated as in the same scope as the anonymous const's declaration for the purpose of this lint
    = note: `-D non-local-definitions` implied by `-D warnings`
    = help: to override `-D warnings` add `#[allow(non_local_definitions)]`
    = note: this erro

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions