2022-08-17 05:55:09 -05:00
|
|
|
// @has "$.index[*][?(@.name=='Foo')]"
|
2021-01-23 19:37:56 -06:00
|
|
|
pub trait Foo {
|
2023-05-22 12:17:52 -05:00
|
|
|
// @is "$.index[*][?(@.name=='no_self')].inner.function.has_body" false
|
2021-01-23 19:37:56 -06:00
|
|
|
fn no_self();
|
2023-05-22 12:17:52 -05:00
|
|
|
// @is "$.index[*][?(@.name=='move_self')].inner.function.has_body" false
|
2021-01-23 19:37:56 -06:00
|
|
|
fn move_self(self);
|
2023-05-22 12:17:52 -05:00
|
|
|
// @is "$.index[*][?(@.name=='ref_self')].inner.function.has_body" false
|
2021-01-23 19:37:56 -06:00
|
|
|
fn ref_self(&self);
|
|
|
|
|
2023-05-22 12:17:52 -05:00
|
|
|
// @is "$.index[*][?(@.name=='no_self_def')].inner.function.has_body" true
|
2021-01-23 19:37:56 -06:00
|
|
|
fn no_self_def() {}
|
2023-05-22 12:17:52 -05:00
|
|
|
// @is "$.index[*][?(@.name=='move_self_def')].inner.function.has_body" true
|
2021-01-23 19:37:56 -06:00
|
|
|
fn move_self_def(self) {}
|
2023-05-22 12:17:52 -05:00
|
|
|
// @is "$.index[*][?(@.name=='ref_self_def')].inner.function.has_body" true
|
2021-01-23 19:37:56 -06:00
|
|
|
fn ref_self_def(&self) {}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub trait Bar: Clone {
|
2023-05-22 12:17:52 -05:00
|
|
|
// @is "$.index[*][?(@.name=='method')].inner.function.has_body" false
|
2021-01-23 19:37:56 -06:00
|
|
|
fn method(&self, param: usize);
|
|
|
|
}
|