Doc documents this pass.

Analyzer is an analysis pass that checks for mutex unlocks which aren't deferred.

Function defines the location of a function (package-level or method on a type).