Right now that appears to be the choice--one of the two.
Realistically, while one hopes that principle plays a dominant role in the selection, electoral considerations are bound to play a part. Lagoa, of course, would appeal to many Floridians, and Florida is a supremely important state for Trump.
On the other hand, while Lagoa comes well recommended, her resume is unquestionably on the thin side for a SCOTUS nominee. Nobody really knows that much about her. Barrett has an excellent resume and appears to be a clear favorite among conservatives. She also, by the sheer Middle American normality of her persona, might well appeal to a broad swath of Americans--especially women, and especially in the upper Midwest.
My tendency is to go with Barrett for reasons that don't denigrate Lagoa. It's not Lagoa's fault that she's not more of a known quantity--it takes time on the federal bench to establish the type of credentials that recommend a person for the SCOTUS, and Lagoa simply has not had the bench time or the time in an academic setting to establish a judicial profile to that extent.
I like that Barrett, while having for certain periods of her career been a member of the Federalist Society, is not closely associated with the Libertarian wing of the GOP or the legal establishment. I like her track record on important issues for conservatives: Title IX, Immigation, 2nd Amendment, and 4th Amendment.
