Module typed 

Checkers for Typed and Size.

Typed matches an allocation’s element_ty (or a field at the provenance offset) against the expected type; Size checks sized/unsized/exact size assertions.