The TypeBounds type signature is used to indicate lower and upper type bounds
of type parameters and abstract types. It is not a first-class type.
If an abstract type or type parameter is declared with any of the forms
on the left, its type signature is the TypeBounds type on the right.

This type as seen from prefix pre and class clazz. This means:
Replace all ThisTypes of clazz or one of its subclasses
by pre and instantiate all parameters by arguments of pre.
Proceed analogously for ThisTypes referring to outer classes.

Does this type weakly conform to given type argument that, i.e., either conforms in terms of <:< or both are primitive number types
that conform according to Section "Weak Conformance" in the spec. For example, Int weak_<:< Long.