trait bounds

5 files changed, 127 insertions, 0 deletions

diff --git a/tests/data/parser/inline/0055_self_param.txt b/tests/data/parser/inline/0055_self_param.txt
new file mode 100644
index 000000000..70aa81207
--- /dev/null
+++ b/tests/data/parser/inline/0055_self_param.txt
@@ -0,0 +1,77 @@
+FILE@[0; 80)
+  IMPL_ITEM@[0; 80)
+    IMPL_KW@[0; 4)
+    PATH_TYPE@[4; 7)
+      PATH@[4; 7)
+        PATH_SEGMENT@[4; 7)
+          NAME_REF@[4; 7)
+            WHITESPACE@[4; 5)
+            IDENT@[5; 6) "S"
+            WHITESPACE@[6; 7)
+    L_CURLY@[7; 8)
+    FN_ITEM@[8; 31)
+      WHITESPACE@[8; 13)
+      FN_KW@[13; 15)
+      NAME@[15; 17)
+        WHITESPACE@[15; 16)
+        IDENT@[16; 17) "a"
+      PARAM_LIST@[17; 24)
+        L_PAREN@[17; 18)
+        SELF_PARAM@[18; 22)
+          SELF_KW@[18; 22)
+        R_PAREN@[22; 23)
+        WHITESPACE@[23; 24)
+      BLOCK@[24; 31)
+        L_CURLY@[24; 25)
+        R_CURLY@[25; 26)
+        WHITESPACE@[26; 31)
+    FN_ITEM@[31; 51)
+      FN_KW@[31; 33)
+      NAME@[33; 35)
+        WHITESPACE@[33; 34)
+        IDENT@[34; 35) "b"
+      PARAM_LIST@[35; 44)
+        L_PAREN@[35; 36)
+        SELF_PARAM@[36; 41)
+          AMPERSAND@[36; 37)
+          SELF_KW@[37; 41)
+        COMMA@[41; 42)
+        R_PAREN@[42; 43)
+        WHITESPACE@[43; 44)
+      BLOCK@[44; 51)
+        L_CURLY@[44; 45)
+        R_CURLY@[45; 46)
+        WHITESPACE@[46; 51)
+    FN_ITEM@[51; 78)
+      FN_KW@[51; 53)
+      NAME@[53; 55)
+        WHITESPACE@[53; 54)
+        IDENT@[54; 55) "c"
+      PARAM_LIST@[55; 75)
+        L_PAREN@[55; 56)
+        SELF_PARAM@[56; 65)
+          AMPERSAND@[56; 57)
+          MUT_KW@[57; 60)
+          WHITESPACE@[60; 61)
+          SELF_KW@[61; 65)
+        COMMA@[65; 66)
+        VALUE_PARAMETER@[66; 73)
+          BIND_PAT@[66; 68)
+            NAME@[66; 68)
+              WHITESPACE@[66; 67)
+              IDENT@[67; 68) "x"
+          COLON@[68; 69)
+          PATH_TYPE@[69; 73)
+            PATH@[69; 73)
+              PATH_SEGMENT@[69; 73)
+                NAME_REF@[69; 73)
+                  WHITESPACE@[69; 70)
+                  IDENT@[70; 73) "i32"
+        R_PAREN@[73; 74)
+        WHITESPACE@[74; 75)
+      BLOCK@[75; 78)
+        L_CURLY@[75; 76)
+        R_CURLY@[76; 77)
+        WHITESPACE@[77; 78)
+    R_CURLY@[78; 79)
+    WHITESPACE@[79; 80)
diff --git a/tests/data/parser/inline/0056_trait_item.rs b/tests/data/parser/inline/0056_trait_item.rs
new file mode 100644
index 000000000..4385afca9
--- /dev/null
+++ b/tests/data/parser/inline/0056_trait_item.rs
@@ -0,0 +1 @@
+trait T<U>: Hash + Clone where U: Copy {}
diff --git a/tests/data/parser/inline/0056_trait_item.txt b/tests/data/parser/inline/0056_trait_item.txt
new file mode 100644
index 000000000..87efc78e9
--- /dev/null
+++ b/tests/data/parser/inline/0056_trait_item.txt
@@ -0,0 +1,36 @@
+FILE@[0; 42)
+  TRAIT_ITEM@[0; 42)
+    TRAIT_KW@[0; 5)
+    NAME@[5; 7)
+      WHITESPACE@[5; 6)
+      IDENT@[6; 7) "T"
+    TYPE_PARAM_LIST@[7; 10)
+      L_ANGLE@[7; 8)
+      TYPE_PARAM@[8; 9)
+        IDENT@[8; 9) "U"
+      R_ANGLE@[9; 10)
+    COLON@[10; 11)
+    PATH@[11; 17)
+      PATH_SEGMENT@[11; 17)
+        NAME_REF@[11; 17)
+          WHITESPACE@[11; 12)
+          IDENT@[12; 16) "Hash"
+          WHITESPACE@[16; 17)
+    PLUS@[17; 18)
+    PATH@[18; 25)
+      PATH_SEGMENT@[18; 25)
+        NAME_REF@[18; 25)
+          WHITESPACE@[18; 19)
+          IDENT@[19; 24) "Clone"
+          WHITESPACE@[24; 25)
+    WHERE_CLAUSE@[25; 39)
+      WHERE_KW@[25; 30)
+      WHITESPACE@[30; 31)
+      IDENT@[31; 32) "U"
+      COLON@[32; 33)
+      WHITESPACE@[33; 34)
+      IDENT@[34; 38) "Copy"
+      WHITESPACE@[38; 39)
+    L_CURLY@[39; 40)
+    R_CURLY@[40; 41)
+    WHITESPACE@[41; 42)
diff --git a/tests/data/parser/inline/0057_auto_trait.rs b/tests/data/parser/inline/0057_auto_trait.rs
new file mode 100644
index 000000000..72adf6035
--- /dev/null
+++ b/tests/data/parser/inline/0057_auto_trait.rs
@@ -0,0 +1 @@
+auto trait T {}
diff --git a/tests/data/parser/inline/0057_auto_trait.txt b/tests/data/parser/inline/0057_auto_trait.txt
new file mode 100644
index 000000000..9d098f10b
--- /dev/null
+++ b/tests/data/parser/inline/0057_auto_trait.txt
@@ -0,0 +1,12 @@
+FILE@[0; 16)
+  TRAIT_ITEM@[0; 16)
+    AUTO_KW@[0; 4)
+    WHITESPACE@[4; 5)
+    TRAIT_KW@[5; 10)
+    NAME@[10; 13)
+      WHITESPACE@[10; 11)
+      IDENT@[11; 12) "T"
+      WHITESPACE@[12; 13)
+    L_CURLY@[13; 14)
+    R_CURLY@[14; 15)
+    WHITESPACE@[15; 16)