[playground.mapper] add template parameters for SpaceInterface, refs #14

dune/gdt/playground/mapper/block.hh

@@ -34,8 +34,11 @@ namespace internal {
 template <class LocalSpaceType>
 class BlockTraits
 {
-  static_assert(std::is_base_of<SpaceInterface<typename LocalSpaceType::Traits>, LocalSpaceType>::value,
-                "LocalSpaceType has to be derived from SpaceInterface!");
+  static_assert(
+      std::is_base_of<SpaceInterface<typename LocalSpaceType::Traits, typename LocalSpaceType::dimDomain,
+                                     typename LocalSpaceType::dimRange, typename LocalSpaceType::dimRangeCols>,
+                      LocalSpaceType>::value,
+      "LocalSpaceType has to be derived from SpaceInterface!");
 
 public:
   typedef Block<LocalSpaceType> derived_type;