Inferred type 'S' for type parameter 'S' is not within its bound;