Runtime error in the compiler when using generics in conjunction with abstract newtypes

test.icl

module test

import StdGeneric
import T

generic g a :: a
derive g T

Start = 42

T.dcl

definition module T

:: T a (=: T a)

T.icl

implementation module T

:: T a =: T a

With both the master and the iTask compiler:

Run time error, rule 'buildTypeDefInfo' in module 'generics1' does not match