{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"///"}]}
/// Since CTFE uses `AllocId` to represent pointers, it often happens that two different
/// equal representation (`==` on the rustc data structure, e.g. `ValTree`) and vice versa.
/// `AllocId`s point to equal values. So we may end up with different representations for