fn try_from_sexp(
target: Option<&Ident>,
sexp_ident: &Ident,
ty: Type,
span: Span,
) -> (TokenStream, Type)Expand description
TryFromSexp on sexp_ident, and the type its binding names: ty, or
for a copied trait signature (#2123) _, with the conversion through the
witness target inferred from the concrete method, so a declaration-local
type is never spelled in the impl’s module.