{"ast_node_type":"variable","tokens":[{"end":34,"kind":"keyword","start":0,"text":"let"}]}
        let mut seen = Vec::new();
        // Constructors in `ctors`, except wildcards and opaques.
        // If we see a deref pattern, it must be the only non-wildcard non-opaque constructor; we