{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"*src,"}]}
                    *src,
                    "{:?} input to a fat-to-thin cast ({} -> {})",
                    src.layout.ty,