Compares two readings of §83's accounting and reports — and by default warns
once — about resources that were created inside the span and never disposed.
Development-only: returns NO_RESOURCE_LEAKS without reading its
arguments when DEV is false.
A resource that the garbage collector reclaimed without a dispose() call
still counts as leaked, deliberately: §83's contract is that lifetimes are
explicit, and A-5's accounting never forgives a missing dispose(). That
is the whole reason these numbers can answer the question at all.
Compares two readings of §83's accounting and reports — and by default warns once — about resources that were created inside the span and never disposed.
Development-only: returns NO_RESOURCE_LEAKS without reading its arguments when
DEVisfalse.A resource that the garbage collector reclaimed without a
dispose()call still counts as leaked, deliberately: §83's contract is that lifetimes are explicit, and A-5's accounting never forgives a missingdispose(). That is the whole reason these numbers can answer the question at all.