Skip to content

bound attribute doesn't work with associated type bounds #213

Description

@apasel422

Minimal example:

use arbitrary::Arbitrary;

pub trait Bar {
    type Value;
}

#[derive(Arbitrary)]
#[arbitrary(bound = "T::Value: Arbitrary")]
pub struct Foo<T: Bar>(T::Value);

Error output:

error: expected identifier
 --> src/lib.rs:8:21
  |
8 | #[arbitrary(bound = "T::Value: Arbitrary")]
  |                     ^^^^^^^^^^^^^^^^^^^^^

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions