TypeId in Verus to support `Any` - #720

Open

SNoAnd wants to merge 7 commits into

asterinas:mainfrom

CertiKProject:typeid-rework

Commits on Aug 23, 2026

Verus type id support patch
Sean Anderson
committed
2668fa0
`Any` module using new type id support
Sean Anderson
committed
d61d549
Verify `Frame<dyn AnyFrameMeta>::try_from` using new `Any` module.
Sean Anderson
committed
15b6836
Update dv
Sean Anderson
committed
a4b7b3d

Commits on Aug 24, 2026

Update verus patch
Sean Anderson
committed
b25e52a

Commits on Aug 26, 2026

dv bump
Sean Anderson
committed
0ae8ad4

Commits on Aug 27, 2026

Use feature gating to keep `Any` separate for now
Sean Anderson
committed
631791a