Function get_impl_data_for_alias_reft 

fn get_impl_data_for_alias_reft<'tcx>(
    infcx: &InferCtxt<'tcx>,
    def_id: DefId,
    alias_reft: &AliasReft,
) -> QueryResult<Option<ImplSourceUserDefinedData<'tcx, PredicateObligation<'tcx>>>>