IMO this doges the edges of the c++ specifcation quite a bit too hard, but at least with Dune >= 2.4 it should now work unconditionally (and for older dune versions, the #error has been demoted to a #warning)
IMO this doges the edges of the c++ specifcation quite a bit too hard, but at least with Dune >= 2.4 it should now work unconditionally (and for older dune versions, the #error has been demoted to a #warning)