2020-06-23 14:19:20 +00:00
|
|
|
error: name not allowed with this method type
|
2019-12-17 22:14:28 +00:00
|
|
|
--> $DIR/invalid_pymethod_names.rs:10:5
|
2019-12-17 17:36:56 +00:00
|
|
|
|
|
|
|
|
|
10 | #[name = "num"]
|
2020-06-17 08:41:51 +00:00
|
|
|
| ^
|
2019-12-17 17:36:56 +00:00
|
|
|
|
2019-12-17 22:14:28 +00:00
|
|
|
error: #[name] can not be specified multiple times
|
2020-11-12 11:09:24 +00:00
|
|
|
--> $DIR/invalid_pymethod_names.rs:18:5
|
2019-12-17 17:36:56 +00:00
|
|
|
|
|
2020-11-12 11:09:24 +00:00
|
|
|
18 | #[name = "bar"]
|
2020-06-17 08:41:51 +00:00
|
|
|
| ^
|
2019-12-17 17:36:56 +00:00
|
|
|
|
2020-06-23 14:19:20 +00:00
|
|
|
error: name not allowed with this method type
|
2019-12-17 22:14:28 +00:00
|
|
|
--> $DIR/invalid_pymethod_names.rs:24:5
|
2019-12-17 17:36:56 +00:00
|
|
|
|
|
|
|
|
|
24 | #[name = "makenew"]
|
2020-06-17 08:41:51 +00:00
|
|
|
| ^
|
