No warning:
void VFS::register_device(Badge<Device>, Device& device) { ... }
void VFS::register_device(Badge<Device> badge, Device& device) { ... }