{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
        // `ImmTy` have already been checked to be in-bounds, so we can just check directly if this
        }
        // remains in-bounds. This cannot actually be violated since projections are type-checked