use a more conservative inhabitableness rule

[rust.git] / COMPILER_TESTS.md

diff --git a/COMPILER_TESTS.md b/COMPILER_TESTS.md
index 1cae4ef090fe0b6fa6d9a69bfbaa5c5533eadfe4..58df1aae6d3f099815f5751b009e15745440d656 100644 (file)
--- a/COMPILER_TESTS.md
+++ b/COMPILER_TESTS.md
@@ -45,6 +45,10 @@ whole, instead of just a few lines inside the test.
 * `should-fail` indicates that the test should fail; used for "meta testing",
   where we test the compiletest program itself to check that it will generate
   errors in appropriate scenarios. This header is ignored for pretty-printer tests.
+* `gate-test-X` where `X` is a feature marks the test as "gate test" for feature X.
+  Such tests are supposed to ensure that the compiler errors when usage of a gated
+  feature is attempted without the proper `#![feature(X)]` tag.
+  Each unstable lang feature is required to have a gate test.
 
 ## Revisions
 
@@ -77,7 +81,7 @@ fn test_foo() {
 }
 ```
 
-Note that not all headers have meaning when customized too a revision.
+Note that not all headers have meaning when customized to a revision.
 For example, the `ignore-test` header (and all "ignore" headers)
 currently only apply to the test as a whole, not to particular
 revisions. The only headers that are intended to really work when