Do not allow subverting `kernel!` soundness by using #[doc(hidden)] items - #363

Merged

Shnatsel merged 3 commits into

linebender:mainfrom

Shnatsel:more-sound-kernel

Sep 1, 2026

Commits on Aug 31, 2026

Fix theoreritcal soundness issue in a macro, at the cost of a lot of duplication
Shnatsel
committed
d96f607
Use a more compact formulation without duplicating the body
Shnatsel
committed
17846cd
Placate Clippy
Shnatsel
committed
a912b3d