Finds in scope or materializes an WeakTypeTag (if concrete is false) or a TypeTag (if concrete is true).

Finds in scope or materializes an WeakTypeTag (if concrete is false) or a TypeTag (if concrete is true).

pos

Position for error reporting. Please, provide meaningful value.

pre

Prefix that represents a universe this type tag will be bound to.
If pre is set to NoType, then any type tag in scope will do, regardless of its affiliation.
If pre is set to NoType, and tag resolution involves materialization, then mkRuntimeUniverseRef will be used.

If true then the result must not contain unresolved (i.e. not spliced) type parameters and abstract type members.
If false then the function will always succeed (abstract types will be reified as free types).

allowMaterialization

If true (default) then the resolver is allowed to launch materialization macros when there's no type tag in scope.
If false then materialization macros are prohibited from running.