We need to do a search through the F# compiler where we use ILTypes explicitly and check how a modreq / ILType.Modified could impact their use.
We fixed a bug: #11552 due to one of these. At the moment, this may be the only bug, but in the future there may be more as modreqs could get added to any ILType. We also should be throwing a compiler error when we encounter a modreq: #5464 - that would make these bugs less surprising and a compiler error would be more explicit rather than a potential runtime error.