{"ast_node_type":"variable","tokens":[{"end":93,"kind":"keyword","start":0,"text":"if"}]}
            if let TyKind::InferenceVar(tv, TyVariableKind::General) = to_ty.kind(Interner) {
        if from_ty.is_never() {
                self.set_diverging(*tv, true);