{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"self,"}]}
    self, ObligationCause, ObligationInspector, PredicateObligation, PredicateObligations,
use crate::traits::{
    TraitEngine,