test for implicit where