{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"source_ty:"}]}
        source_ty: Ty<'tcx>,
        instantiation_variance: ty::Variance,
    ) -> RelateResult<'tcx, ()> {