Discussion: extend the scope of constants and nested types to attributes and base type parameters

[alrz]

C#

[SomeAttribute(Constant, typeof(Inner)] // already works
public class C : X<Inner>  // doesn't work
{
    const int Constant = 1;
    public class Inner {}
}

VB

<SomeAttribute(Constant, GetType(Inner))> ' doesn't work
Public Class C : Inherits X(Of Inner) ' already works
    Const Constant = 1
    Public Class Inner
    End Class
End Class

[gafter]

This would be an incompatible change. It would change a type argument in a base clause that binds to a type from an enclosing scope to now bind to a type in a nested scope.

[alrz]

@gafter I suppose we could prefer the outer type (in C#) for backward-compat.