{"ast_node_type":"function","tokens":[{"end":88,"kind":"keyword","start":0,"text":"pub(crate)"}]}
    pub(crate) fn region_contains(&self, r: RegionVid, p: impl ToElementIndex) -> bool {
    /// Panics if called before `solve()` executes,
        let scc = self.constraint_sccs.scc(r);