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.