It would be great to check EventuallyWithT(): - use `assert` (not require), use `collect`, - not `t` I am very used to use `require`, so I sometimes use it in EventuallyWithT()... which is wrong.
It would be great to check EventuallyWithT():
assert(not require), usecollect,tI am very used to use
require, so I sometimes use it in EventuallyWithT()... which is wrong.