It certainly is understandable to want Lewis to be on the major league roster this season, but the most important thing (by far, IMHO) is his continuing development. That means he should be playing shortstop every day because that's what he will be doing for the next ten years, maybe longer, hopefully for the Twins the entire time. Most teams would probably have him playing shortstop in the majors right now, but as long as one of the best shortstops in the world is on the active roster that won't happen.
If the FO determines that Lewis is ready to be a full-time major league shortstop now then perhaps a trade involving Correa should be explored so we can get good value in return before he presumably opts out after this season. Correa's contract for this year includes a limited no-trade clause. I don't know the exact terms of that but that changes to a full no-trade clause next year. Trading Correa this year therefore protects the team in the unlikely event Correa does not opt out, for example due to serious injury or significant underperformance on the field.