{"ast_node_type":"impl","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
/// the impl (with the args from `UserArgs`) and apply those to
/// self type `Foo<u32>`. Then we can instantiate the parameters of
/// the self type, giving `Foo<?A>`. Finally, we unify that with