If a proper method named "nameof" exists in the outer scopes, IsNameofOperator is false and this binder does nothing. Otherwise, it relaxes the instance-vs-static requirement for top-level member access expressions and when inside an attribute on a method it adds type parameters from the target of that attribute. To do so, it works together with ContextualAttributeBinder. For other attributes (on types, type parameters or parameters) we use a WithTypeParameterBinder directly in the binder chain and some filtering (LookupOptions.MustNotBeMethodTypeParameter) to keep pre-existing behavior.