{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":"});"}]}
        });
            substitution: Substitution::from1(Interner, ty),
        let goal = GoalData::DomainGoal(chalk_ir::DomainGoal::Holds(sized_pred)).intern(Interner);