Added in version 6.3.0.4 of package base.
procedure
intdef-ctx:internal-definition-context?stx:syntax?
Specifically, the identifiers produced by (internal-definition-context-binding-identifiers intdef-ctx) are added to the 'disappeared-binding property of stx.