{"ast_node_type":"variable","tokens":[{"end":42,"kind":"keyword","start":0,"text":"let"}]}
        let mut fallback_occurred = false;
        // The first time, we do *not* replace opaque types.
        for ty in unresolved_variables {