feat(aya-log): check format and value type in proc macro

[Hanaasagi]

Fix #513

Currently, we are not checking in the log macro if a parameter can be formatted using a specific type of format, which can lead to a runtime panic. This PR implements validation logic in proc macro.

This will add the following code in the generated code:

This is a function that checks the type bound, and the function body is empty. When built with a release level optimization, e.g. opt-level=3, it will be optimized out.

Some tests

unsafe fn try_xdp_hello(ctx: XdpContext) -> Result<u32, u32> {
    // test default formatter
    info!(&ctx, "test default formatter");
    info!(&ctx, "i8 {}", 8);
    info!(&ctx, "i16 {}", 16);
    info!(&ctx, "i32 {}", 32);
    info!(&ctx, "i64 {}", 64);
    info!(&ctx, "isize {}", 128);

    info!(&ctx, "u8 {}", 8);
    info!(&ctx, "u16 {}", 16);
    info!(&ctx, "u32 {}", 32);
    info!(&ctx, "u64 {}", 64);
    info!(&ctx, "usize {}", 128);

    info!(&ctx, "str {}", "hello");

    // test lowerhex
    info!(&ctx, "test lowerhex formatter");
    info!(&ctx, "i8 {:x}", 8);
    info!(&ctx, "i16 {:x}", 16);
    info!(&ctx, "i32 {:x}", 32);
    info!(&ctx, "i64 {:x}", 64);
    info!(&ctx, "isize {:x}", 128);

    info!(&ctx, "u8 {:x}", 8);
    info!(&ctx, "u16 {:x}", 16);
    info!(&ctx, "u32 {:x}", 32);
    info!(&ctx, "u64 {:x}", 64);
    info!(&ctx, "usize {:x}", 128);

    info!(&ctx, "slice: {:x}", [1u8; 4].as_slice());

    // test upperhex
    info!(&ctx, "test upperhex formatter");
    info!(&ctx, "i8 {:X}", 8);
    info!(&ctx, "i16 {:X}", 16);
    info!(&ctx, "i32 {:X}", 32);
    info!(&ctx, "i64 {:X}", 64);
    info!(&ctx, "isize {:X}", 128);

    info!(&ctx, "u8 {:X}", 8);
    info!(&ctx, "u16 {:X}", 16);
    info!(&ctx, "u32 {:X}", 32);
    info!(&ctx, "u64 {:X}", 64);
    info!(&ctx, "usize {:X}", 128);

    info!(&ctx, "slice: {:X}", [1u8; 4].as_slice());

    info!(&ctx, "test ipv4 formatter");
    info!(&ctx, "received a packet: {:ipv4}", 0u32);

    info!(&ctx, "test ipv6 formatter");
    info!(&ctx, "received a packet: {:ipv6}", [0u8; 16]);

    info!(&ctx, "received a packet: {:mac}", [0u8; 6]);
    info!(&ctx, "received a packet: {:MAC}", [0u8; 6]);

    // comments are some invalid case
    // info!(&ctx, "received a packet: {}", [0_u8; 6]);
    // info!(&ctx, "received a packet: {:ipv6}", 10);
    // info!(&ctx, "received a packet: {:x}", "AAAAAA");
    Ok(xdp_action::XDP_PASS)
}

[netlify]

✅ Deploy Preview for aya-rs-docs ready!

Built without sensitive environment variables

Name	Link
🔨 Latest commit	d999a95
🔍 Latest deploy log	https://app.netlify.com/sites/aya-rs-docs/deploys/6469ac330afc9f0008b811e9
😎 Deploy Preview	https://deploy-preview-606--aya-rs-docs.netlify.app
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify site settings.

[Hanaasagi]

The CI failed because Clippy introduced new checks yesterday. See rust-lang/rust-clippy@dbc76a7

[alessandrod]

Thank you!