{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"///"}]}
    /// and check that they are satisfied.
    /// cases where the region cannot grow larger than a fixed point)
    #[instrument(skip(self, var_data, errors))]