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