Skip to content

Ghost arguments for function pointers - #275

Closed
hei411 wants to merge 9 commits into
mainfrom
heili/ghost-fnptr
Closed

Ghost arguments for function pointers#275
hei411 wants to merge 9 commits into
mainfrom
heili/ghost-fnptr

Test fnptr witnesses for structs with a `__spec` companion

f9940f4
Select commit
Loading
Failed to load commit list.
Microsoft GitHub Policy Service / license/cla succeeded Aug 28, 2026 in 0s

All CLA requirements met.

This check verifies that the author has agreed to a CLA with Microsoft.