From b8584b77c19748a6fc10b9d9b5cae929d2a15480 Mon Sep 17 00:00:00 2001 From: Erik Ernst Date: Wed, 31 Jan 2024 13:47:03 +0100 Subject: [PATCH] Adjust incompatible-with-await to be more strict on intersections --- .../future-releases/extension-types/feature-specification.md | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/accepted/future-releases/extension-types/feature-specification.md b/accepted/future-releases/extension-types/feature-specification.md index da4418a16..39a39253a 100644 --- a/accepted/future-releases/extension-types/feature-specification.md +++ b/accepted/future-releases/extension-types/feature-specification.md @@ -885,10 +885,7 @@ one of the following criteria holds: - `T` is an extension type that does not implement `Future`. - `T` is `S?`, and `S` is incompatible with await. -- `T` is `X & B`, and either: - - `B` is incompatible with await, or - - `B` does not derive a future type, and `X` is - incompatible with await. +- `T` is `X & B`, and `B` is incompatible with await. - `T` is a type variable with bound `S`, and `S` is incompatible with await.