From bc900e84936757ff1908a53cde649fa49c04ad83 Mon Sep 17 00:00:00 2001 From: Tyson Andre Date: Sat, 12 May 2018 14:52:26 -0700 Subject: [PATCH] Fixes #217: Incorrect rule for `trait-select-insteadof-clause` An example of the insteadof clause (satisfies the fixed rule): `use T1,T2,T3{T1::foo insteadof T2,T3;}` --- spec/16-traits.md | 4 ++-- spec/19-grammar.md | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/spec/16-traits.md b/spec/16-traits.md index 2eb52e43..abd4be10 100644 --- a/spec/16-traits.md +++ b/spec/16-traits.md @@ -139,7 +139,7 @@ trait-select-and-alias-clause: trait-alias-as-clause ';' trait-select-insteadof-clause: - name 'insteadof' name + qualified-name '::' name 'insteadof' trait-name-list trait-alias-as-clause: name 'as' visibility-modifier? name @@ -171,7 +171,7 @@ trait-alias-as-clause: trait-alias-as-clause ; trait-select-insteadof-clause: - name insteadof name + qualified-name :: name insteadof trait-name-list trait-alias-as-clause: name as visibility-modifieropt name diff --git a/spec/19-grammar.md b/spec/19-grammar.md index 66573bfa..7deab0b9 100644 --- a/spec/19-grammar.md +++ b/spec/19-grammar.md @@ -1095,7 +1095,7 @@ The grammar notation is described in [Grammars section](09-lexical-structure.md# trait-alias-as-clause ; trait-select-insteadof-clause: - name insteadof name + qualified-name :: name insteadof trait-name-list trait-alias-as-clause: name as visibility-modifieropt name