Opened 13 years ago

#194 new タスク

継承時の型パラメータ指定のチェックを厳密に行うようにする

Reported by: dai Owned by: dai
Priority: 中-major Milestone: AB5 CP6
Component: Compiler Version:
Keywords: Cc:

Description

Interface I<T>
End Interface

Interface J<T>
	Inherits I
End Interface

Class A<T>
End Class

Class B<T>
	Inherits A
End Class

上記のコードはエラーにすべし。

Change History (0)

Note: See TracTickets for help on using tickets.