1 // aux-build:unstable_generic_param.rs
2 #![feature(unstable_default6)]
4 extern crate unstable_generic_param;
6 use unstable_generic_param::*;
11 fn foo() -> () { () } // ok
16 impl Trait1<usize> for S { //~ ERROR use of unstable library feature 'unstable_default'
17 fn foo() -> usize { 0 }
20 impl Trait1<isize> for S { //~ ERROR use of unstable library feature 'unstable_default'
21 fn foo() -> isize { 0 }
24 impl Trait2<usize> for S { //~ ERROR use of unstable library feature 'unstable_default'
25 fn foo() -> usize { 0 }
28 impl Trait3<usize> for S {
29 fn foo() -> usize { 0 } // ok
35 let _: Struct1<isize> = Struct1 { field: 1 }; //~ ERROR use of unstable library feature 'unstable_default'
37 let _ = STRUCT1; // ok
38 let _: Struct1 = STRUCT1; // ok
39 let _: Struct1<usize> = STRUCT1; //~ ERROR use of unstable library feature 'unstable_default'
40 let _: Struct1<isize> = Struct1 { field: 0 }; //~ ERROR use of unstable library feature 'unstable_default'
42 // Instability is not enforced for generic type parameters used in public fields.
43 // Note how the unstable type default `usize` leaks,
44 // and can be used without the 'unstable_default' feature.
45 let _ = STRUCT1.field;
46 let _ = Struct1 { field: 1 };
47 let _ = Struct1 { field: () };
48 let _ = Struct1 { field: 1isize };
49 let _: Struct1 = Struct1 { field: 1 };
50 let _: usize = STRUCT1.field;
51 let _ = STRUCT1.field + 1;
52 let _ = STRUCT1.field + 1usize;
54 let _ = Struct2 { field: 1 }; // ok
55 let _: Struct2 = Struct2 { field: 1 }; // ok
56 let _: Struct2<usize> = Struct2 { field: 1 }; // ok
59 let _: Struct2 = STRUCT2; // ok
60 let _: Struct2<usize> = STRUCT2; // ok
61 let _: Struct2<isize> = Struct2 { field: 0 }; // ok
62 let _ = STRUCT2.field; // ok
63 let _: usize = STRUCT2.field; // ok
64 let _ = STRUCT2.field + 1; // ok
65 let _ = STRUCT2.field + 1usize; // ok
68 let _: Struct3 = STRUCT3; // ok
69 let _: Struct3<isize, usize> = STRUCT3; //~ ERROR use of unstable library feature 'unstable_default'
70 let _: Struct3<isize> = STRUCT3; // ok
71 let _: Struct3<isize, isize> = Struct3 { field1: 0, field2: 0 }; //~ ERROR use of unstable library feature 'unstable_default'
72 let _: Struct3<usize, usize> = Struct3 { field1: 0, field2: 0 }; //~ ERROR use of unstable library feature 'unstable_default'
73 let _ = STRUCT3.field1; // ok
74 let _: isize = STRUCT3.field1; // ok
75 let _ = STRUCT3.field1 + 1; // ok
76 // Note the aforementioned leak.
77 let _: usize = STRUCT3.field2; // ok
78 let _: Struct3<usize> = Struct3 { field1: 0, field2: 0 }; // ok
79 let _ = STRUCT3.field2 + 1; // ok
80 let _ = STRUCT3.field2 + 1usize; // ok
83 let _: Struct4<isize> = Struct4 { field: 1 };
84 //~^ use of deprecated struct `unstable_generic_param::Struct4`: test [deprecated]
85 //~^^ use of deprecated struct `unstable_generic_param::Struct4`: test [deprecated]
86 //~^^^ use of deprecated field `unstable_generic_param::Struct4::field`: test [deprecated]
88 let _: Struct4 = STRUCT4; //~ use of deprecated struct `unstable_generic_param::Struct4`: test [deprecated]
89 let _: Struct4<usize> = STRUCT4; //~ use of deprecated struct `unstable_generic_param::Struct4`: test [deprecated]
90 let _: Struct4<isize> = Struct4 { field: 0 };
91 //~^ use of deprecated struct `unstable_generic_param::Struct4`: test [deprecated]
92 //~^^ use of deprecated struct `unstable_generic_param::Struct4`: test [deprecated]
93 //~^^^ use of deprecated field `unstable_generic_param::Struct4::field`: test [deprecated]
96 let _: Struct5<isize> = Struct5 { field: 1 }; //~ ERROR use of unstable library feature 'unstable_default'
97 //~^ use of deprecated struct `unstable_generic_param::Struct5`: test [deprecated]
98 //~^^ use of deprecated struct `unstable_generic_param::Struct5`: test [deprecated]
99 //~^^^ use of deprecated field `unstable_generic_param::Struct5::field`: test [deprecated]
101 let _: Struct5 = STRUCT5; //~ use of deprecated struct `unstable_generic_param::Struct5`: test [deprecated]
102 let _: Struct5<usize> = STRUCT5; //~ ERROR use of unstable library feature 'unstable_default'
103 //~^ use of deprecated struct `unstable_generic_param::Struct5`: test [deprecated]
104 let _: Struct5<isize> = Struct5 { field: 0 }; //~ ERROR use of unstable library feature 'unstable_default'
105 //~^ use of deprecated struct `unstable_generic_param::Struct5`: test [deprecated]
106 //~^^ use of deprecated struct `unstable_generic_param::Struct5`: test [deprecated]
107 //~^^^ use of deprecated field `unstable_generic_param::Struct5::field`: test [deprecated]
109 let _: Struct6<isize> = Struct6 { field: 1 }; // ok
110 let _: Struct6<isize> = Struct6 { field: 0 }; // ok
112 let _: Alias1<isize> = Alias1::Some(1); //~ ERROR use of unstable library feature 'unstable_default'
114 let _ = ALIAS1; // ok
115 let _: Alias1 = ALIAS1; // ok
116 let _: Alias1<usize> = ALIAS1; //~ ERROR use of unstable library feature 'unstable_default'
117 let _: Alias1<isize> = Alias1::Some(0); //~ ERROR use of unstable library feature 'unstable_default'
119 // Instability is not enforced for generic type parameters used in public fields.
120 // Note how the unstable type default `usize` leaks,
121 // and can be used without the 'unstable_default' feature.
122 let _ = Alias1::Some(1);
123 let _ = Alias1::Some(());
124 let _ = Alias1::Some(1isize);
125 let _: Alias1 = Alias1::Some(1);
126 let _: usize = ALIAS1.unwrap();
127 let _ = ALIAS1.unwrap() + 1;
128 let _ = ALIAS1.unwrap() + 1usize;
130 let _ = Alias2::Some(1); // ok
131 let _: Alias2 = Alias2::Some(1); // ok
132 let _: Alias2<usize> = Alias2::Some(1); // ok
135 let _: Alias2 = ALIAS2; // ok
136 let _: Alias2<usize> = ALIAS2; // ok
137 let _: Alias2<isize> = Alias2::Some(0); // ok
138 let _ = ALIAS2.unwrap(); // ok
139 let _: usize = ALIAS2.unwrap(); // ok
140 let _ = ALIAS2.unwrap() + 1; // ok
141 let _ = ALIAS2.unwrap() + 1usize; // ok
144 let _: Alias3 = ALIAS3; // ok
145 let _: Alias3<isize, usize> = ALIAS3; //~ ERROR use of unstable library feature 'unstable_default'
146 let _: Alias3<isize> = ALIAS3; // ok
147 let _: Alias3<isize, isize> = Alias3::Ok(0); //~ ERROR use of unstable library feature 'unstable_default'
148 let _: Alias3<usize, usize> = Alias3::Ok(0); //~ ERROR use of unstable library feature 'unstable_default'
149 let _ = ALIAS3.unwrap(); // ok
150 let _: isize = ALIAS3.unwrap(); // ok
151 let _ = ALIAS3.unwrap() + 1; // ok
152 // Note the aforementioned leak.
153 let _: usize = ALIAS3B.unwrap_err(); // ok
154 let _: Alias3<usize> = Alias3::Err(0); // ok
155 let _ = ALIAS3B.unwrap_err() + 1; // ok
156 let _ = ALIAS3B.unwrap_err() + 1usize; // ok
159 let _: Alias4<isize> = Alias4::Some(1);
160 //~^ use of deprecated type alias `unstable_generic_param::Alias4`: test [deprecated]
161 //~^^ use of deprecated type alias `unstable_generic_param::Alias4`: test [deprecated]
163 let _: Alias4 = ALIAS4; //~ use of deprecated type alias `unstable_generic_param::Alias4`: test [deprecated]
164 let _: Alias4<usize> = ALIAS4; //~ use of deprecated type alias `unstable_generic_param::Alias4`: test [deprecated]
165 let _: Alias4<isize> = Alias4::Some(0);
166 //~^ use of deprecated type alias `unstable_generic_param::Alias4`: test [deprecated]
167 //~^^ use of deprecated type alias `unstable_generic_param::Alias4`: test [deprecated]
170 let _: Alias5<isize> = Alias5::Some(1); //~ ERROR use of unstable library feature 'unstable_default'
171 //~^ use of deprecated type alias `unstable_generic_param::Alias5`: test [deprecated]
172 //~^^ use of deprecated type alias `unstable_generic_param::Alias5`: test [deprecated]
174 let _: Alias5 = ALIAS5; //~ use of deprecated type alias `unstable_generic_param::Alias5`: test [deprecated]
175 let _: Alias5<usize> = ALIAS5; //~ ERROR use of unstable library feature 'unstable_default'
176 //~^ use of deprecated type alias `unstable_generic_param::Alias5`: test [deprecated]
177 let _: Alias5<isize> = Alias5::Some(0); //~ ERROR use of unstable library feature 'unstable_default'
178 //~^ use of deprecated type alias `unstable_generic_param::Alias5`: test [deprecated]
179 //~^^ use of deprecated type alias `unstable_generic_param::Alias5`: test [deprecated]
181 let _: Alias6<isize> = Alias6::Some(1); // ok
182 let _: Alias6<isize> = Alias6::Some(0); // ok
184 let _: Enum1<isize> = Enum1::Some(1); //~ ERROR use of unstable library feature 'unstable_default'
187 let _: Enum1 = ENUM1; // ok
188 let _: Enum1<usize> = ENUM1; //~ ERROR use of unstable library feature 'unstable_default'
189 let _: Enum1<isize> = Enum1::Some(0); //~ ERROR use of unstable library feature 'unstable_default'
191 // Instability is not enforced for generic type parameters used in public fields.
192 // Note how the unstable type default `usize` leaks,
193 // and can be used without the 'unstable_default' feature.
194 let _ = Enum1::Some(1);
195 let _ = Enum1::Some(());
196 let _ = Enum1::Some(1isize);
197 let _: Enum1 = Enum1::Some(1);
198 if let Enum1::Some(x) = ENUM1 {let _: usize = x;}
199 if let Enum1::Some(x) = ENUM1 {let _ = x + 1;}
200 if let Enum1::Some(x) = ENUM1 {let _ = x + 1usize;}
202 let _ = Enum2::Some(1); // ok
203 let _: Enum2 = Enum2::Some(1); // ok
204 let _: Enum2<usize> = Enum2::Some(1); // ok
207 let _: Enum2 = ENUM2; // ok
208 let _: Enum2<usize> = ENUM2; // ok
209 let _: Enum2<isize> = Enum2::Some(0); // ok
210 if let Enum2::Some(x) = ENUM2 {let _ = x;} // ok
211 if let Enum2::Some(x) = ENUM2 {let _: usize = x;} // ok
212 if let Enum2::Some(x) = ENUM2 {let _ = x + 1;} // ok
213 if let Enum2::Some(x) = ENUM2 {let _ = x + 1usize;} // ok
216 let _: Enum3 = ENUM3; // ok
217 let _: Enum3<isize, usize> = ENUM3; //~ ERROR use of unstable library feature 'unstable_default'
218 let _: Enum3<isize> = ENUM3; // ok
219 let _: Enum3<isize, isize> = Enum3::Ok(0); //~ ERROR use of unstable library feature 'unstable_default'
220 let _: Enum3<usize, usize> = Enum3::Ok(0); //~ ERROR use of unstable library feature 'unstable_default'
221 if let Enum3::Ok(x) = ENUM3 {let _ = x;} // ok
222 if let Enum3::Ok(x) = ENUM3 {let _: isize = x;} // ok
223 if let Enum3::Ok(x) = ENUM3 {let _ = x + 1;} // ok
224 // Note the aforementioned leak.
225 if let Enum3::Err(x) = ENUM3B {let _: usize = x;} // ok
226 let _: Enum3<usize> = Enum3::Err(0); // ok
227 if let Enum3::Err(x) = ENUM3B {let _ = x + 1;} // ok
228 if let Enum3::Err(x) = ENUM3B {let _ = x + 1usize;} // ok
231 let _: Enum4<isize> = Enum4::Some(1);
232 //~^ use of deprecated variant `unstable_generic_param::Enum4::Some`: test [deprecated]
233 //~^^ use of deprecated enum `unstable_generic_param::Enum4`: test [deprecated]
235 let _: Enum4 = ENUM4; //~ use of deprecated enum `unstable_generic_param::Enum4`: test [deprecated]
236 let _: Enum4<usize> = ENUM4; //~ use of deprecated enum `unstable_generic_param::Enum4`: test [deprecated]
237 let _: Enum4<isize> = Enum4::Some(0);
238 //~^ use of deprecated variant `unstable_generic_param::Enum4::Some`: test [deprecated]
239 //~^^ use of deprecated enum `unstable_generic_param::Enum4`: test [deprecated]
242 let _: Enum5<isize> = Enum5::Some(1); //~ ERROR use of unstable library feature 'unstable_default'
243 //~^ use of deprecated variant `unstable_generic_param::Enum5::Some`: test [deprecated]
244 //~^^ use of deprecated enum `unstable_generic_param::Enum5`: test [deprecated]
246 let _: Enum5 = ENUM5; //~ use of deprecated enum `unstable_generic_param::Enum5`: test [deprecated]
247 let _: Enum5<usize> = ENUM5; //~ ERROR use of unstable library feature 'unstable_default'
248 //~^ use of deprecated enum `unstable_generic_param::Enum5`: test [deprecated]
249 let _: Enum5<isize> = Enum5::Some(0); //~ ERROR use of unstable library feature 'unstable_default'
250 //~^ use of deprecated variant `unstable_generic_param::Enum5::Some`: test [deprecated]
251 //~^^ use of deprecated enum `unstable_generic_param::Enum5`: test [deprecated]
253 let _: Enum6<isize> = Enum6::Some(1); // ok
254 let _: Enum6<isize> = Enum6::Some(0); // ok
256 let _: Box1<isize, System> = Box1::new(1); //~ ERROR use of unstable library feature 'box_alloc_param'
257 let _: Box1<isize> = Box1::new(1); // ok
259 let _: Box2<isize, System> = Box2::new(1); // ok
260 let _: Box2<isize> = Box2::new(1); // ok
262 let _: Box3<isize> = Box3::new(1); // ok