{"ast_node_type":"variable","tokens":[{"end":59,"kind":"keyword","start":0,"text":"let"}]}
        let (param_env, variable_lookup_table, var_kinds) =
        // First canonicalize the `param_env` while keeping `'static`
            Canonicalizer::canonicalize_param_env(delegate, variables, input.goal.param_env);