{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
/// some reason, were to relax the `Unsize` trait, it could become
/// between the same trait with different args. If we, for
/// unsound, so let's validate here that the trait refs are subtypes.