Problem with TypeName<of T>.getType in attributes

[gauthier]

This looks like a corner corner case:

class FooAttribute
    inherits Attribute
    
    pro bar from var as Type?
    
class WithGeneric<of T>
    pass
    
class WithAttribute
    
    pro foo from var as int?
        has FooAttribute(bar = WithGeneric<of int>.getType)

class Program
    shared
        def main
            pass

Code: Select all

test.cobra(14): error: The definition for "WithGeneric<of>.getType" is not a type.
Compilation failed - 1 error, 0 warnings
Not running due to errors above.

[Charles]

Sorry about that. Here's a workaround:

class FooAttribute inherits Attribute
    
    pro bar from var as Type?
    
class WithGeneric<of T>
    pass
    
class WithAttribute
    
    pro foo from var as int?
        has FooAttribute(bar = sharp'typeof(WithGeneric<int>)')
        
class Program
    def main
        pass

[Charles]

In the current/trunk version of Cobra, you can skip the use of "sharp" and just leave the .getType off, which is how I would normally write the code anyway:

has FooAttribute(bar = WithGeneric<of int>)

Cobra lets you pass types directly, although this was previously broken for some cases with generics, but is now fixed.