pub fn generator_trait_ref_and_outputs<'tcx>(
    tcx: TyCtxt<'tcx>,
    fn_trait_def_id: DefId,
    self_ty: Ty<'tcx>,
    sig: PolyGenSig<'tcx>
) -> Binder<'tcx, (TraitRef<'tcx>, Ty<'tcx>, Ty<'tcx>)>