Skip to content

Encode unique TypeTag for each type, to support reasoning about Any-style type identity and downcasts - #2892

Open
SNoAnd wants to merge 4 commits into
verus-lang:mainfrom
CertiKProject:typeid-hash-ids
Open

Encode unique TypeTag for each type, to support reasoning about Any-style type identity and downcasts#2892
SNoAnd wants to merge 4 commits into
verus-lang:mainfrom
CertiKProject:typeid-hash-ids

Drop emission gating, wasn't doing much.

ee50dfe
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs