{"ast_node_type":"variable","tokens":[{"end":82,"kind":"keyword","start":0,"text":"if"}]}
            if let TyKind::InferenceVar(_, kind) = maybe_resolved.kind(Interner) {
            let maybe_resolved = self.resolve_ty_shallow(&var);
                let fallback = match kind {