There"s no way to reference a real unknown type from onTypeNotFound unless it isn"t in a module.

Say I want to build types for an existing type, and try for import shadow.${x} to build for type x:

If the type is found in module pack.Module.ActualType and I Context.getType on pack.Module.ActualType, the search assumes firstly ActualType is a property of pack.Module.

If I getType on pack.ActualType, there"s no way of finding which module of package pack it might be in and I don"t think there"s a way to import.

Running through every single type via metadata a-la tink_syntaxhub seems rather heavy duty (and compile times confirm) where now the onTypeNotFound mechanism exists, as above, there"s loads that can"t be inferred.

The other mechanism is onAfterTyping which requires a complete traversal of types rather than case-by-case.

see:

TypeLookupInconsistency.zip