Type relationshipΒΆ

A generic member asserts that its identifier represents a type that has a relationship with another type.

Given the follwing pseudo-representation of a generic member:

A <type relationship> B

here is an exhaustive listing of the accepted lexical substitutions for <type relationship>, with their meaning:

A __ B Name Description
A <: B Upper type bound A is a subtype of some subtype of B
A >: B Lower type bound A is a subtype of some supertype of B
A =: B Equal type bound A is a subtype of B
A !: B Excluded type bound A is not a subtype of B

See identified types hierachy for more information.