problem when using an object variable of nilable generic type

[jonathandavid]

The following program triggers a runtime assertion, complaining that myT is nil. It is as if the compiler did not realize that T is taking the value int?, and that therefore "myT" should be allowed to be nil.

class G<of T>
    var myT as T

class Program
    var g = G<of int?>()

    def main is shared
        p = Program()

[eric.sellon]

Let me know if there's any problems with this patch. Thanks.

[Chuck]

The patch creates a new bug that is obviously related. Consider this program:

class A<of T>

	var myT as T

	cue init
		base.init
		trace .myT
		
		
class Program

	def main
#		a = A<of int?>()
		b = A<of String>()

It should throw an exception because .myT will be nil at the end of .init, but it does not when the patch is applied.

This issue between generics and nilable is tricky because Cobra treats nilable uniformly across types while the .NET run-time does not.

[Chuck]

bump

[Charles]

bump again