{"ast_node_type":"variable","tokens":[{"end":65,"kind":"keyword","start":0,"text":"let"}]}
        let (max_universe, variables) = canonicalizer.finalize();
        debug_assert!(!value.has_placeholders(), "unexpected placeholders in {value:?}");
        Canonical { max_universe, variables, value }