| // ignore-tidy-linelength |
| #![feature(inherent_associated_types)] |
| #![allow(incomplete_features)] |
| |
| // @set Carrier = '$.index[*][?(@.name=="Carrier")].id' |
| pub struct Carrier<'a>(&'a ()); |
| |
| // @count "$.index[*][?(@.name=='user')].inner.function.decl.inputs[*]" 1 |
| // @is "$.index[*][?(@.name=='user')].inner.function.decl.inputs[0][0]" '"_"' |
| // @is '$.index[*][?(@.name=="user")].inner.function.decl.inputs[0][1].function_pointer.generic_params[*].name' \""'b"\" |
| // @is '$.index[*][?(@.name=="user")].inner.function.decl.inputs[0][1].function_pointer.decl.inputs[0][1].qualified_path.self_type.resolved_path.id' $Carrier |
| // @is '$.index[*][?(@.name=="user")].inner.function.decl.inputs[0][1].function_pointer.decl.inputs[0][1].qualified_path.self_type.resolved_path.args.angle_bracketed.args[0].lifetime' \""'b"\" |
| // @is '$.index[*][?(@.name=="user")].inner.function.decl.inputs[0][1].function_pointer.decl.inputs[0][1].qualified_path.name' '"Focus"' |
| // @is '$.index[*][?(@.name=="user")].inner.function.decl.inputs[0][1].function_pointer.decl.inputs[0][1].qualified_path.trait' null |
| // @is '$.index[*][?(@.name=="user")].inner.function.decl.inputs[0][1].function_pointer.decl.inputs[0][1].qualified_path.args.angle_bracketed.args[0].type.primitive' '"i32"' |
| pub fn user(_: for<'b> fn(Carrier<'b>::Focus<i32>)) {} |
| |
| impl<'a> Carrier<'a> { |
| pub type Focus<T> = &'a mut T; |
| } |