@@ -1212,14 +1212,14 @@ func apply[T any](v T, f func(T)) {
 // Test type inference with a named slice type.
 func TestInference(t *testing.T) {
 	s1 := []int{1, 2, 3}
-	apply(s1, Reverse)
+	apply(s1, Reverse[[]int])
 	if want := []int{3, 2, 1}; !Equal(s1, want) {
 		t.Errorf("Reverse(%v) = %v, want %v", []int{1, 2, 3}, s1, want)
 	}
 
 	type S []int
 	s2 := S{4, 5, 6}
-	apply(s2, Reverse)
+	apply(s2, Reverse[S])
 	if want := (S{6, 5, 4}); !Equal(s2, want) {
 		t.Errorf("Reverse(%v) = %v, want %v", S{4, 5, 6}, s2, want)
 	}