From 7c0540281b708ed15e94d32a0267816d9b8db2d7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kevin=20Dre=C3=9Fler?= Date: Tue, 30 Jun 2020 20:02:06 +0200 Subject: [PATCH] fix english In english, "X may not be true" just expresses the *option* of X not being true, while "X must not be true" expresses a *strict requirement*. --- docs/docs/reference/other-new-features/trait-parameters.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/docs/reference/other-new-features/trait-parameters.md b/docs/docs/reference/other-new-features/trait-parameters.md index 16a6438173b4..04cd9b7607b2 100644 --- a/docs/docs/reference/other-new-features/trait-parameters.md +++ b/docs/docs/reference/other-new-features/trait-parameters.md @@ -30,9 +30,9 @@ because it violates the second rule of the following for trait parameters: 1. If a class `C` extends a parameterized trait `T`, and its superclass does not, `C` _must_ pass arguments to `T`. - 2. If a class `C` extends a parameterized trait `T`, and its superclass does as well, `C` _may not_ pass arguments to `T`. + 2. If a class `C` extends a parameterized trait `T`, and its superclass does as well, `C` _must not_ pass arguments to `T`. - 3. Traits may never pass arguments to parent traits. + 3. Traits must never pass arguments to parent traits. Here's a trait extending the parameterized trait `Greeting`.