# Make sure we don't walk cast[T] type section while injecting sinks/destructorsblock:typeXY[T]=objectdiscardproc`=`[T](x:varXY[T];v:XY[T]){.error.}proc`=sink`[T](x:varXY[T];v:XY[T]){.error.}procmain[T]()=varm=cast[ptrXY[T]](alloc0(sizeof(XY[T])))doAssert(m!=nil)main[int]()