Code

No owned void#852

Code

Open

cp526 wants to merge 2 commits intorems-project:masterrems-project/cerberus:masterfrom cp526:no-owned-voidcp526/cerberus:no-owned-voidCopy head branch name to clipboard

+25-26

Commits

Commits on Feb 7, 2025

• prevent Owned<void> and Block<void> in WellTyped

  cp526

  committed
  aecaf29

  Copy full SHA for aecaf29

• do this check also for to/from_bytes

  cp526

  committed
  4f0401b

  Copy full SHA for 4f0401b