{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"parent_subst:"}]}
        parent_subst: Option<Substitution>,
        def: impl Into<GenericDefId>,
    ) -> TyBuilder<()> {