tree 83fa8f394b2635d332242a35f09925986c8c033a
parent a32ad95fd1d24ebf01df3aa11e618f0c7a2fbdb4
author David Drysdale <drysdale@google.com> 1683299583 +0100
committer David Drysdale <drysdale@google.com> 1683300544 +0100

Tidy and add trait smoke test

- Add a smoke test for the RKP trait.
- Drop some TODOs that aren't relevant
- Fix some clippy warnings.
- Convert some comments to doc comments.

Bug: 258069484
Test: libkmr_cf_test
Change-Id: Ic2f1c4db59462c8f0869332e85c1f861e5a39afb