{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"NullaryOp(null_op,"}]}
            NullaryOp(null_op, ty) => {
                let ty = self.instantiate_from_current_frame_and_normalize_erasing_regions(ty)?;