Empty.last.name: def of bolt@1.27.0.0
Import: import bolt@1.27.0.0/src/rules/suspicious/empty.bend as Empty
Lines 126-133 of bolt@1.27.0.0/src/rules/suspicious/empty.bend: https://jend.leeeet.dev/read.txt?path=bolt@1.27.0.0/src/rules/suspicious/empty.bend&start_line=126&end_line=133

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

# the name a List.length's arguments end in, when the last two were a comma
# and a plain name
def last.name(ll: Last, rest: List<&2, Lex.Tok>) -> Maybe<&2, Taken>:
  match ll:
    case LName{nn}:
      Some{Taken{nn, rest}}
    case other:
      None{}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/empty.bend&name=Last
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/rules/suspicious/empty.bend&name=Taken
  https://jend.leeeet.dev/definition.txt?path=bolt@1.27.0.0/src/syntax/lex.bend&name=Tok