def name_hit

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

import Base

72# a mention of the name, or nothing when it is a different name
73def name_hit(+same: Bool, +slot: Bool) -> Hit:
74  match same:
75    case False{}:
76      none_hit()
77    case True{}:
78      name_slot(slot)