A way for the file to automatically require types it doesn't have access to

[lenscas]

You should be able to pass the TypeWalker a HashMap<Type,RequirePath> so the file is able to reference types it doesn't have access to normally.
A RequirePath contains a string representing what should be placed inside the require ("types/SomeType") and a path to get to the type from the loaded module (TypeMod_1.SomeInnerType.OtherInnerType)

Type could be a string or Cow<'static str> or something else. It just needs to be something the needed type can be compared to.

If a type can not be found while generating the file it should by default stop and return an error. However, a second method should exist that continues, makes a list of types that can't be found and return both.