add a test for SFINAE