{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"///"}]}
    /// Panics if called before `solve()` executes,
    ///
    pub(crate) fn region_contains(&self, r: RegionVid, p: impl ToElementIndex) -> bool {