From 766a65e1c0b50bca5783298d7f76a669c81684e5 Mon Sep 17 00:00:00 2001
From: Marc Glisse <marc.glisse@inria.fr>
Date: Wed, 27 Jan 2021 12:33:45 +0100
Subject: [PATCH] Fix NewKernel_d/Eigen compatibility

some bitrot...
---
 .../include/CGAL/NewKernel_d/LA_eigen/constructors.h   |  8 +++-----
 Number_types/include/CGAL/Interval_nt.h                | 10 ++++++++++
 2 files changed, 13 insertions(+), 5 deletions(-)

diff --git a/NewKernel_d/include/CGAL/NewKernel_d/LA_eigen/constructors.h b/NewKernel_d/include/CGAL/NewKernel_d/LA_eigen/constructors.h
index 9fb8ef02107..1bb4b2a33ef 100644
--- a/NewKernel_d/include/CGAL/NewKernel_d/LA_eigen/constructors.h
+++ b/NewKernel_d/include/CGAL/NewKernel_d/LA_eigen/constructors.h
@@ -91,11 +91,9 @@ namespace CGAL {
     };
 
     struct Initializer_list {
-      // Fix T==NT?
-      template<class T>
-        result_type operator()(std::initializer_list<T> l) const {
-          return Iterator()(l.size(),l.begin(),l.end());
-        }
+      result_type operator()(std::initializer_list<NT> l) const {
+        return Iterator()(l.size(),l.begin(),l.end());
+      }
     };
 
     struct Values {
diff --git a/Number_types/include/CGAL/Interval_nt.h b/Number_types/include/CGAL/Interval_nt.h
index ec9f7288966..8a51e7cd860 100644
--- a/Number_types/include/CGAL/Interval_nt.h
+++ b/Number_types/include/CGAL/Interval_nt.h
@@ -1594,6 +1594,16 @@ namespace Eigen {
     };
   };
 
+  template<class A, class B, class C>struct ScalarBinaryOpTraits;
+  template<bool b, typename BinaryOp>
+    struct ScalarBinaryOpTraits<CGAL::Interval_nt<b>, double, BinaryOp> {
+      typedef CGAL::Interval_nt<b> ReturnType;
+    };
+  template<bool b, typename BinaryOp>
+    struct ScalarBinaryOpTraits<double, CGAL::Interval_nt<b>, BinaryOp> {
+      typedef CGAL::Interval_nt<b> ReturnType;
+    };
+
   namespace internal {
     template<class> struct significant_decimals_impl;
     template<bool b>