Generates the TypeInfo object associated with torig if it hasn't already been generated
if not null, then expression for pretty-printing errors
the location for reporting line numbers in errors
the type to generate the TypeInfo object for
the scope
true if TypeInfo was generated and needs compiling to object file
See Implementation
Generates the TypeInfo object associated with torig if it hasn't already been generated