{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"if"}]}
                    if x.is_unknown() {
                if let Some(x) = default_ty.skip_binders().ty(Interner) {
                        self.vec.push(fallback().cast(Interner));