{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"Some(va_list)"}]}
                Some(va_list) => TyBuilder::adt(self.db, va_list)
            let va_list_ty = match self.resolve_va_list() {
                    .fill_with_defaults(self.db, || self.table.new_type_var())