Clarify the way in which task types are unspecified

jskeet · jskeet · commit d6ae7fb72df7 · 2023-09-06T21:28:38.000+01:00
diff --git a/standard/classes.md b/standard/classes.md
@@ -5329,7 +5329,7 @@ The *return_type* of an async method shall be either `void` or a ***task type***
 
 An async method returning a task type is said to be ***task-returning***.
 
-The exact definition of the task types is implementation-defined, but from the language’s point of view, a task type is in one of the states *incomplete*, *succeeded* or *faulted*. A *faulted* task records a pertinent exception. A *succeeded* `«TaskType»<T>` records a result of type `T`. Task types are awaitable, and tasks can therefore be the operands of await expressions ([§12.9.8](expressions.md#1298-await-expressions)).
+Task types can vary in their exact definition, but from the language’s point of view, a task type is in one of the states *incomplete*, *succeeded* or *faulted*. A *faulted* task records a pertinent exception. A *succeeded* `«TaskType»<T>` records a result of type `T`. Task types are awaitable, and tasks can therefore be the operands of await expressions ([§12.9.8](expressions.md#1298-await-expressions)).
 
 > *Example*: The task type `MyTask<T>` is associated with the task builder type `MyTaskMethodBuilder<T>` and the awaiter type `Awaiter<T>`:
 >

Original file line number	Diff line number	Diff line change
@@ -5329,7 +5329,7 @@ The return_type of an async method shall be either `void` or a *task type*
`5329`	`5329`
`5330`	`5330`	`An async method returning a task type is said to be *task-returning*.`
`5331`	`5331`
`5332`		-The exact definition of the task types is implementation-defined, but from the language’s point of view, a task type is in one of the states incomplete, succeeded or faulted. A faulted task records a pertinent exception. A succeeded `«TaskType»<T>` records a result of type `T`. Task types are awaitable, and tasks can therefore be the operands of await expressions ([§12.9.8](expressions.md#1298-await-expressions)).
	`5332`	+Task types can vary in their exact definition, but from the language’s point of view, a task type is in one of the states incomplete, succeeded or faulted. A faulted task records a pertinent exception. A succeeded `«TaskType»<T>` records a result of type `T`. Task types are awaitable, and tasks can therefore be the operands of await expressions ([§12.9.8](expressions.md#1298-await-expressions)).
`5333`	`5333`
`5334`	`5334`	> Example: The task type `MyTask<T>` is associated with the task builder type `MyTaskMethodBuilder<T>` and the awaiter type `Awaiter<T>`:
`5335`	`5335`	`>`