Isn't it a bug in `inferImplicit`, in that it doesn't respect `reportAmbiguous = false`?