ut: bind_deduce_with_deduced_interface