{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"//"}]}
        // returned list of constructors.
        // are statically impossible. E.g., for `Option<!>`, we do not include `Some(_)` in the
        // Invariant: this is empty if and only if the type is uninhabited (as determined by