{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"Constructor::IntRange(range)"}]}
            Constructor::IntRange(range) => Constructor::IntRange(*range),
            Constructor::Bool(b) => Constructor::Bool(*b),
            Constructor::F16Range(lo, hi, end) => Constructor::F16Range(*lo, *hi, *end),