{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// cases where the region cannot grow larger than a fixed point)
    /// After expansion is complete, go and check upper bounds (i.e.,
    /// and check that they are satisfied.