The check for whether a nonterminalType is data and whether it is tracked are disabled in #773, to permit changing the dataness/trackedness of types referenced in the Silver compiler. This should be reverted once we are done making changes for these types.
The check for whether a
nonterminalTypeis data and whether it is tracked are disabled in #773, to permit changing the dataness/trackedness of types referenced in the Silver compiler. This should be reverted once we are done making changes for these types.