{"ast_node_type":"variable","tokens":[{"end":68,"kind":"keyword","start":0,"text":"if"}]}
            if let Some(sig) = self.deduce_sig_from_dyn_ty(dyn_ty) {
        if let TyKind::Dyn(dyn_ty) = expected_ty.kind(Interner) {
                let expected_sig_ty = TyKind::Function(sig).intern(Interner);