If we implemented

Snapshot::lift

properly, and made the intrinsic do that, would the engine correctly infer and perform the

PathGlob

->

Snapshot

translation it would need to do in all of the current cases?