{"ast_node_type":"function","tokens":[{"end":37,"kind":"keyword","start":0,"text":"pub"}]}
pub fn validate_trivial_unsize<'tcx>(
/// unsound, so let's validate here that the trait refs are subtypes.
    tcx: TyCtxt<'tcx>,