{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":".map(|ty_constructor|"}]}
                        .map(|ty_constructor| {
                    let semantic_ty = ty_constructor
                            hir::Adt::from(ty_constructor).ty_with_args(ctx.db(), [ty.clone()])