Check info tp
for cycles.
Check info tp
for cycles. Throw CyclicReference for illegal cycles,
break direct cycle with a LazyRef for legal, F-bounded cycles.
The last type top-level type checked when a CyclicReference occurs.
Can be overridden.
Can be overridden. By default, only the prefix is mapped.
Map this function over given type
Map this function over given type
A diagnostic output string that indicates the position of the last part of a type bounds checked by checkInfo.
A diagnostic output string that indicates the position of the last part of a type bounds checked by checkInfo. Possible choices: alias, lower bound, upper bound.
A type map which checks that the only cycles in a type are F-bounds and that protects all F-bounded references by LazyRefs.