diff --git a/tests/unit/unit_test.cc b/tests/unit/unit_test.cc
index e488c79..288c811 100644
--- a/tests/unit/unit_test.cc
+++ b/tests/unit/unit_test.cc
@@ -2,6 +2,67 @@
 
 #include <interval-map/interval-map.hh>
 
-TEST(misc, passing) {
-    ASSERT_EQ(1, 1);
+#include <type_traits>
+
+template <typename T> class KeyInterface {
+public:
+    explicit KeyInterface(T val) : underlying_(val) {}
+
+    KeyInterface(KeyInterface const&) = default;
+    KeyInterface& operator=(KeyInterface const&) = default;
+
+    bool operator<(KeyInterface const& other) const {
+        return underlying_ < other.underlying_;
+    }
+
+private:
+    T underlying_;
+};
+
+template <typename T> struct std::numeric_limits<KeyInterface<T>> {
+    static KeyInterface<T> lowest() {
+        return KeyInterface(std::numeric_limits<T>::lowest());
+    }
+};
+
+static_assert(std::is_copy_constructible_v<KeyInterface<int>>);
+static_assert(std::is_copy_assignable_v<KeyInterface<int>>);
+static_assert(
+    std::is_same_v<KeyInterface<int>,
+                   decltype(std::numeric_limits<KeyInterface<int>>::lowest())>);
+
+template <typename T> class ValueInterface {
+public:
+    explicit ValueInterface(T val) : underlying_(val) {}
+
+    ValueInterface(ValueInterface const&) = default;
+    ValueInterface& operator=(ValueInterface const&) = default;
+
+    bool operator==(ValueInterface const& other) const {
+        return underlying_ == other.underlying_;
+    }
+
+private:
+    T underlying_;
+};
+
+template <typename T> struct std::numeric_limits<ValueInterface<T>> {
+    static ValueInterface<T> lowest() {
+        return ValueInterface(std::numeric_limits<T>::lowest());
+    }
+};
+
+static_assert(std::is_copy_constructible_v<ValueInterface<int>>);
+static_assert(std::is_copy_assignable_v<ValueInterface<int>>);
+static_assert(std::is_same_v<
+              ValueInterface<int>,
+              decltype(std::numeric_limits<ValueInterface<int>>::lowest())>);
+
+TEST(interval_map, minimal_interface) {
+    using Key = KeyInterface<char>;
+    using Value = ValueInterface<int>;
+
+    auto map = amby::interval_map<Key, Value>{Value(0)};
+    ASSERT_EQ(map[Key(0)], Value(0));
+    map.assign(Key(0), Key(1), Value(1));
 }