Skip to content

Commit ebbd23d

Browse files
authored
Fix markdown conversion issues in the variance section. (#619)
1 parent b9b2043 commit ebbd23d

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

standard/interfaces.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -122,9 +122,9 @@ A type is ***output-safe*** if it is not output-unsafe, and ***input-safe*** if
122122
123123
The purpose of variance annotations is to provide for more lenient (but still type safe) conversions to interface and delegate types. To this end the definitions of implicit ([§10.2](conversions.md#102-implicit-conversions)) and explicit conversions ([§10.3](conversions.md#103-explicit-conversions)) make use of the notion of variance-convertibility, which is defined as follows:
124124
125-
A type `T<Aᵢ, ..., Aᵥ>` is variance-convertible to a type `T<Bᵢ, ..., A>` if `T` is either an interface or a delegate type declared with the variant type parameters `T<Xᵢ, ..., Xᵥ>`, and for each variant type parameter `Xᵢ` one of the following holds:
125+
A type `T<Aᵢ, ..., Aᵥ>` is variance-convertible to a type `T<Bᵢ, ..., B>` if `T` is either an interface or a delegate type declared with the variant type parameters `T<Xᵢ, ..., Xᵥ>`, and for each variant type parameter `Xᵢ` one of the following holds:
126126
127-
- `Xᵢ` is covariant and an implicit reference or identity conversion exists from `Aᵢ` to `A`
127+
- `Xᵢ` is covariant and an implicit reference or identity conversion exists from `Aᵢ` to `B`
128128
- `Xᵢ` is contravariant and an implicit reference or identity conversion exists from `Bᵢ` to `Aᵢ`
129129
- `Xᵢ` is invariant and an identity conversion exists from `Aᵢ` to `Bᵢ`
130130

0 commit comments

Comments
 (0)