{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"///"}]}
    /// it does not check them. They are later checked in
    /// This function only adds the member constraints to the region graph,
    /// `check_member_constraints` after the region graph has been computed.