{"ast_node_type":"variable","tokens":[{"end":73,"kind":"keyword","start":0,"text":"if"}]}
                if let Some(x) = default_ty.skip_binders().ty(Interner) {
                // NOTE(skip_binders): we only check if the arg type is error type.
                    if x.is_unknown() {