{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"self.resolve_pattern_top(&local.pat,"}]}
        self.resolve_pattern_top(&local.pat, PatternSource::Let);
        // Resolve the pattern.
    }