Basic tests of inlining by literalization.

The use of defer forces literalization.

recover() is an example of a function with effects,
defeating elimination of parameter x; but parameter
y is eliminated by substitution.

-- go.mod --
module testdata
go 1.12

-- a/a1.go --
package a

func _() {
	add(recover().(int), 2) //@ inline(re"add", add1)
}

func add(x, y int) int { defer print(); return x + y }

-- add1 --
package a

func _() {
	func() int { var x int = recover().(int); defer print(); return x + 2 }() //@ inline(re"add", add1)
}

func add(x, y int) int { defer print(); return x + y }