fn resolve_associated_item<'tcx>( tcx: TyCtxt<'tcx>, trait_item: &AssocItem, param_env: ParamEnv<'tcx>, trait_id: DefId, rcvr_substs: SubstsRef<'tcx>) -> Result<Option<Instance<'tcx>>, ErrorReported>