{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"None"}]}
        None => {
    match wide_pointer_kind(cx, pointee_type) {
            // This is a thin pointer. Create a regular pointer type and give it the correct name.