If you poke around the files ending with .go2 here[0], you can see some examples of contracts/generics being used. This linked review is a prototype of the implementation for the proposal.

[0] https://go-review.googlesource.com/c/go/+/187317