0_Hello_go2go.md

$ ./go2go run main.go2
true

$ ./go2go translate main.go2
$ cat main.go
// Code generated by go2go; DO NOT EDIT.


//line main.go2:1
package main

//line main.go2:1
import "fmt"

//line main.go2:13
type Test struct{}

func (Test) Equal(_ Test) bool {
        return true
}

func main() {
        fmt.Println(instantiate୦୦Eq୦main୮aTest(Test{}, Test{}))
}
//line main.go2:9
func instantiate୦୦Eq୦main୮aTest(left, right Test,) bool {
        return left.Equal(right)
}

//line main.go2:11
type Importable୦ int

//line main.go2:11
var _ = fmt.Errorf

main.go2

package main

import "fmt"

contract contract(T) {
    T Equal(T) bool
}

func Eq(type T contract)(left, right T) bool {
    return left.Equal(right)
}

type Test struct {}

func (Test) Equal(_ Test) bool {
    return true
}

func main() {
    fmt.Println(Eq(Test{}, Test{}))
}