Function implemented_method 

fn implemented_method<'tcx>(
    tcx: TyCtxt<'tcx>,
    instance: Instance<'tcx>,
) -> Option<(EarlyBinder<'tcx, TraitRef<'tcx>>, DefId, DefId)>