I posted something along these lines a few years ago, maybe even on the old site, but it's worth an update here.
At the end of 2016, his last decent full season and his fourteenth overall, Miggy's career offensive WAR (oWAR) of 78.2 ranked 20th overall among all players through their first 14 seasons, behind Rickey Henderson and Mike Schmidt, and ahead of Eddie Collins and Mel Ott. These four are all inner-circle Hall of Famers, and Miggy was among them, and at the time it would have seemed fair to assume that Miggy would end his career ready to take his place in that same inner circle.
As of today, April 28, 2023, Miggy's career oWAR of 77.6—yes, his overall career offensive value has actually decreased across the slog of seven years—ranks 45th all time, behind Cal Ripken and Jim Thome, and ahead of Reggie Jackson and Harry Heilmann. Granted, he is still surrounded by Hall of Famers. Just not inner-circle Hall of Famers. These are guys who had to be great hitters to make the Hall of Fame, of course, but when you are discussing the greatest hitters in baseball history, you will mention Rickey and Schmidt fairly quickly, but you probably won't even mention Ripken and Thome at all before you move on to another topic.
Miggy will be a Hall of Famer, and he will be elected on the first ballot, and he will deserve that. But he won't be an inner-circle Hall of Famer. Not anymore. He has firmly played himself out of that possibility.