Downsides to depending `mutable` field on `DataType`?

If you have to operate on types, then accessing T.mutable is probably your best option.

But is hard to say more without context, can you make an MWE?