Improve diagnostics of missing `#[pin_data]` and `#[pin]` - #178

Merged

nbdd0121 merged 6 commits into

mainfrom

dev/pin-data-diag

Sep 25, 2026

Commits on Sep 25, 2026

internal: make `__init_data` and `__pin_data` safe
nbdd0121
committed
e422e20
internal: remove associated type of `HasInitData`
nbdd0121
committed
90ccc86
internal: use `HasInitData` to provide inference help only
nbdd0121
committed
5ca8c1b
internal: add custom diagnostic when `#[pin_data]` is not implemented
nbdd0121
committed
c9fa61b
add diagnostic attribute for `PinInit` and `Init`
nbdd0121
committed
6de454b
ci: make `checkpatch.pl` failure non-fatal
nbdd0121
committed
a58efaa