1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
This test reproduces condition of golang/go#65217, where the inliner created an
unnecessary eta abstraction.
-- go.mod --
module unused.mod
go 1.18
-- a/a.go --
package a
type S struct{}
func (S) Int() int { return 0 }
func _() {
var s S
_ = f(s, s.Int())
var j int
j = f(s, s.Int())
_ = j
}
func _() {
var s S
i := f(s, s.Int())
_ = i
}
func f(unused S, i int) int { //@codeaction("unused", "unused", "refactor.rewrite", rewrite, "Refactor: remove unused parameter"), diag("unused", re`unused`)
return i
}
-- @rewrite/a/a.go --
package a
type S struct{}
func (S) Int() int { return 0 }
func _() {
var s S
_ = f(s.Int())
var j int
j = f(s.Int())
_ = j
}
func _() {
var s S
var _ S = s
i := f(s.Int())
_ = i
}
func f(i int) int { //@codeaction("unused", "unused", "refactor.rewrite", rewrite, "Refactor: remove unused parameter"), diag("unused", re`unused`)
return i
}
|
