Ticket #77 (new defect)

Opened 8 weeks ago

Eliminate false 'inherits' warning on 'passthrough' type

Reported by: Chuck Owned by:
Priority: minor Milestone:
Component: Cobra Compiler Version: 0.8.0
Keywords: Cc:

Description

Get rid of this warning:

... a inherits B ...
warning: The expression (of type "passthrough") is never of type "Foo".

It comes up as part of error recovery, but you can simulate it:

class A

	def main is shared
		x as int = 1 to passthrough
		if x inherits A
			print 'A'
Note: See TracTickets for help on using tickets.