{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                self.vec.push(default_ty.clone().substitute(Interner, &*self.vec).cast(Interner));
        }