{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
/// unsound, so let's validate here that the trait refs are subtypes.
/// some reason, were to relax the `Unsize` trait, it could become
pub fn validate_trivial_unsize<'tcx>(