{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"//"}]}
        // them down.
        // Create a mutable vector of the options. We'll try to winnow
        let mut choice_regions: Vec<ty::RegionVid> = choice_regions.to_vec();