{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"self.tainted_by_errors().is_some()"}]}
                self.tainted_by_errors().is_some() || inner.region_obligations.is_empty(),
            assert!(
                "region_obligations not empty: {:#?}",