correct type signatures for "enclosing method" annotations