{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"self.obligation_inspector.get().is_none(),"}]}
            self.obligation_inspector.get().is_none(),
        debug_assert!(
            "shouldn't override a set obligation inspector"