{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"///"}]}
    /// region can reach it in the subset graph. So this is a reachability problem.
    /// In the location-insensitive analysis, a loan will be contained in a region if the issuing
    fn precompute_loans_out_of_scope(