{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"///"}]}
/// requires that `A = B`; we don't allow *upcasting* objects
/// corresponds to the fact that `dyn Tr<A>: Unsize<dyn Tr<B>>`
/// between the same trait with different args. If we, for