fn resolve_associated_item<'tcx>( tcx: TyCtxt<'tcx>, trait_item_id: DefId, param_env: ParamEnv<'tcx>, trait_id: DefId, rcvr_substs: SubstsRef<'tcx>) -> Result<Option<Instance<'tcx>>, ErrorGuaranteed>