{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"region_obligations:"}]}
            region_obligations: Default::default(),
            region_constraint_storage: Some(Default::default()),
            region_assumptions: Default::default(),