From 762604ee7f927cd9903a0e4b7c138f49154c0d4a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Sun, 24 Jan 2021 12:51:34 +0100
Subject: [PATCH] Vk: test that Device::properties() exist even for wrapped
 devices.

It explodes!!
---
 src/Magnum/Vk/Test/DeviceVkTest.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Magnum/Vk/Test/DeviceVkTest.cpp b/src/Magnum/Vk/Test/DeviceVkTest.cpp
index 488d2995c..eee300d2d 100644
--- a/src/Magnum/Vk/Test/DeviceVkTest.cpp
+++ b/src/Magnum/Vk/Test/DeviceVkTest.cpp
@@ -1104,6 +1104,9 @@ void DeviceVkTest::wrap() {
         /* Listed features should be reported as enabled */
         CORRADE_COMPARE(wrapped.enabledFeatures(), DeviceFeature::RobustBufferAccess);
 
+        /* Device properties should be available */
+        CORRADE_COMPARE(wrapped.properties().handle(), deviceProperties.handle());
+
         /* Releasing won't destroy anything ... */
         CORRADE_COMPARE(wrapped.release(), device);
     }