void TraceReturnType(Method method, IMethod tag) { _context.TraceInfo("{0}: return type for method {1} bound to {2}", method.LexicalInfo, method.Name, tag.ReturnType); }