def close.here

bolt@1.27.0.0 · src/rules/suspicious/empty.bend:150

import Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex

150# is the token the bracket that closes the arguments, at depth zero?
151def close.here(kk: Lex.TokKind, dd: Nat) -> Bool:
152  match kk:
153    case Lex.TClose{}:
154      match dd:
155        case 0n:
156          True{}
157        case 1n+p:
158          False{}
159    case other:
160      False{}