{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
                // Each default can only depend on the previous parameters.
                }
                self.vec.push(default_ty.clone().substitute(Interner, &*self.vec).cast(Interner));