You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We could also define a within.lints() method, but that only works for this specific case, I think the problem is more general (it will affect other generics used too process the lint() output, too).
The text was updated successfully, but these errors were encountered:
I am working on something where I need to edit the line numbers of the
lint()
output; a natural way to do that is like so:But this fails because
within
attempts to dispatch onlints
class. For now, we need to call the method explicitly:We could also define a
within.lints()
method, but that only works for this specific case, I think the problem is more general (it will affect other generics used too process thelint()
output, too).The text was updated successfully, but these errors were encountered: