def note_none

bolt@1.27.0.0 · src/rules/pedantic/rewalk.bend:622

import bolt@1.27.0.0/src/rules/pedantic/rewalk.bend as Rewalk
import Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex

622# nothing, and the maybe is consumed
623def note_none(mm: Maybe<&2, Lex.Tok>) -> Maybe<&2, Note>:
624  match mm:
625    case other:
626      None{}

Uses (3)

Used by (1)