{"ast_node_type":"variable","tokens":[{"end":85,"kind":"keyword","start":0,"text":"let"}]}
            let subpath = self.elaborator.downcast_subpath(self.path, variant_index);
            let variant = &adt.variant(variant_index);