Generates the TypeInfo object associated with torig if it hasn't already been generated
the location for reporting line numbers in errors
the type to generate the TypeInfo object for
the scope
See Implementation
Generates the TypeInfo object associated with torig if it hasn't already been generated