From 27afa8c578a6c43db8458a9d3c1ddebf5c94cfaf Mon Sep 17 00:00:00 2001
From: Ms2ger <Ms2ger@gmail.com>
Date: Mon, 25 Feb 2019 12:17:12 +0100
Subject: [PATCH] Disallow combining LegacyWindowAlias and LegacyNamespace

This doesn't currently happen, and we don't expect it to happen in the future.

Fixes #645.
---
 index.bs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/index.bs b/index.bs
index 9fa28e0b..71c29e1a 100644
--- a/index.bs
+++ b/index.bs
@@ -9072,6 +9072,9 @@ and must not be one of the [=reserved identifiers=].
 The [{{LegacyWindowAlias}}] and [{{NoInterfaceObject}}]
 extended attributes must not be specified on the same interface.
 
+The [{{LegacyWindowAlias}}] and [{{LegacyNamespace}}]
+extended attributes must not be specified on the same interface.
+
 The [{{LegacyWindowAlias}}] extended attribute must not be specified
 on an interface that does not include the {{Window}} [=interface=]
 in its [=exposure set=].