slavapestov/factor — comment on commit 313a8dbe8880ff21ec988e49b9cdd248b7074bb0
File: extra/lint/lint.factor line 298
By slavapestov:

Factor this out into a new word in the lint vocab, safe-infer.

Here is another similar case:

[ XYZ swap FOO ]

where XYZ has effect ( -- a ).

You can also use dip there.