I remember that a while ago the
ty field of
mir::Constant had an actual use case, but I think at some point the inner
ty field has become synchronized with the
ty field. I think we should run an experiment and just outright remove the
cc @Saleem Jaffer I wasn't able to find the list of TODOs, but I found this in the meantime ;)
Cool! I'll check this out.