This is really cool!
The world of templates has always been a frightening departure from the type-safety of Go
to the wild world of dynamically typed languages, where run-time errors hid in
every code path.
templatecheck helps eliminate a large class of hard-to-find errors.
Thanks for writing it!