{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"matches!(self.try_obligation(goal),"}]}
        matches!(self.try_obligation(goal), Some(Solution::Unique(_)))
        let goal = GoalData::DomainGoal(chalk_ir::DomainGoal::Holds(sized_pred)).intern(Interner);
    }